Use variables A-Z, operators: & (AND), | (OR), ! (NOT), ^ (XOR), -> (implication), <-> (equivalence), and parentheses.