Propositional Logic Operators
Core boolean truth operations:
CONJUNCTION (∧)
AND
True only when BOTH A and B are True.
DISJUNCTION (∨)
OR
True if AT LEAST ONE of A or B is True.
EXCLUSIVE OR (⊕)
XOR
True if EXACTLY ONE of A or B is True.
IMPLICATION (→)
IF-THEN
False ONLY when A is True and B is False.