Alternative Denial

The term used in propositional calculus for the NAND connective. The notation A|B is used for this connective, a most unfortunate choice in light of modern usage of A|B or A∥B to denote OR.

See also

Joint Denial, NAND

Explore with Wolfram|Alpha


Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 26, 1997.

Referenced on Wolfram|Alpha

Alternative Denial

Cite this as:

Weisstein, Eric W. "Alternative Denial." From MathWorld--A Wolfram Web Resource.

Subject classifications