Logical equivalences[edit] The Sheffer stroke of and is the negation of their conjunction Alternative notations and names[edit] Peirce was the first to show the functional completeness of non-conjunction (representing this as ) but didn't publish his result.[2][3] Peirce's editor added ) for non-disjunction[citation needed].[3] In 1911, Stamm was the first to publish a proof of the completeness of
![Sheffer stroke - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/e494391a2cb450195ccd00cb7a952ab1f6f30592/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2Fc%2Fcb%2FVenn1110.svg%2F1200px-Venn1110.svg.png)