Truth Table Generator

abResult
FFF
FTF
TFF
TTT

Boolean Operators

~
NOT (Negation)
True when operand is false
&
AND (Conjunction)
True when both operands are true
|
OR (Disjunction)
True when at least one operand is true
^
XOR (Exclusive OR)
True when operands have different truth values
->
IF (Implication)
False only when first is true and second is false
<->
IF AND ONLY IF (Biconditional)
True when both operands have the same truth value