Logical NAND

The logical NAND is a logical operation on two logical values, typically the values of two propositions, that produces a value of false if and only if both of its operands are true. In other words, it produces a value of true if and only if at least one of its operands is false.

The truth table of p NAND q (also written as p | q or p ↑ q) is as follows:

Logical NAND

p	q	p ↑ q
F	F	T
F	T	T
T	F	T
T	T	F

See also

Logical operators

Exclusive disjunction Logical conjunction Logical disjunction Logical equality

Logical implication Logical NAND Logical NNOR Negation

Related topics

Ampheck Boolean algebra Boolean domain Boolean function

Boolean logic Laws of Form Logic gate Logical graph

Peirce's law Propositional calculus Sole sufficient operator Zeroth order logic

Aficionados

• See Talk:Logical NAND for discussions/comments regarding this article.
• See Logical NAND/Aficionados for those who have listed Logical NAND as an interest.
• See Talk:Logical NAND/Aficionados for discussions regarding this interest.

---

<sharethis />