⊼ (nand)
The negation of the logical conjunction (and) operator.
Syntax

p ⊼ q

p
andq
are booleans

Description
⊼
is the negation of the logical conjunction operator. The truth table for ⊼
is as follows:
qp

false  true 

false  true  true 
true  true  false 
⊼
is a binary operator implemented by the nand
function.
Notes
⊼
does NOT perform boolean shortcircuit evaluation.
See also

Logical operators (list)