LOGICAL EQUIVALENCE Interactive Animated
close book
PROPOSITIONS
PARENTHESES
( )
NEGATION
~
AND
& or ^
NAND
NAND
OR
v or V
NOR
NOR
CONDITIONAL
=>
BICONDITIONAL
<=>
EXCLUSIVE OR
XOR
≡
≡
≡
≡
≡
≡
≡
≡
≡
≡
≡
≡
≡
≡
≡