Nand
⊼
Type it
| Unicode | U+22BC | |
|---|---|---|
| LaTeX | \barwedge | |
| HTML entity | ⊼ | |
| Character | ⊼ |
Meaning
Joins two statements into one that is false only when both of them are true. It is the negation of and. In LaTeX it needs the amssymb package. Compare with Logical And and Logical Not.
How to read it
P ⊼ Q ⇔ ¬(P ∧ Q)
is read “P nand Q if and only if not both P and Q”.