AND (&&) - both true | OR (||) - either true | NOT (!) - negation
XOR - exclusive or | NAND - not and | NOR - not or
IMPLIES (->) - if then | IFF (<->) - if and only if
Variables: single uppercase letters (A-Z). Use parentheses for grouping.