Encyclopedia > Nand

  Article Content

Sheffer stroke

Redirected from Nand

The Sheffer stroke, also known as the NAND operation, is a logical operator with the following meaning: p NAND q is true if and only if not both p and q are true. It is named for Henry M. Sheffer, who proved that all the usual operators of logical calculus (not, and, or, implies) could be expressed in terms of it:
"not p" is equivalent to "p NAND p"
"p and q" is equivalent to "(p NAND q) NAND (p NAND q)"
"p or q" is equivalent to "(p NAND p) NAND (q NAND q)"
"p implies q" is equivalent to "(p NAND q) NAND p"

This leads to an alternative axiom system for boolean algebras that needs only one operation.

There is another logical operator which is able to express all the others: NOR.

Reference

  • A set of five independent postulates for Boolean algebras, with application to logical constants. Transactions of the American Mathematical Soc. 14 (1913), pp. 481-488.

See Also



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
North Haven, New York

... is spread out with 17.4% under the age of 18, 3.5% from 18 to 24, 22.3% from 25 to 44, 28.7% from 45 to 64, and 28.1% who are 65 years of age or older. The median ...

 
 
 
This page was created in 31.9 ms