Symbols:Symbolic Logic/Deprecated Symbols/Modified Ampheck

Logical NAND

 * $P \mathop {\bar \curlywedge} Q$

Logical NAND.

A binary operation on two propositions.

$P \mathop {\bar \curlywedge} Q$ means not both $P$ and $Q$ together.

Also see
The usual ways of expressing not both $P$ and $Q$ together nowadays are:
 * $\neg \paren {P \land Q}$


 * $\overline {P \land Q}$


 * $P \uparrow Q$