Sheffer Stroke - Introduction, Elimination, and Equivalencies

Introduction, Elimination, and Equivalencies

The Sheffer stroke is the negation of the conjunction:

Expressed in terms of NAND, the usual operators of propositional logic are:

Read more about this topic:  Sheffer Stroke