Enter boolean expressions using variables A..Z and operators like AND, OR, NOT, XOR, ->, <->. Generates a full truth table and flags tautologies and contradictions.
NOT a · !a · ~a · ¬a — negation
a AND b · a && b · a & b · a · b — conjunction
a OR b · a || b · a | b · a + b — disjunction
a XOR b · a ^ b · a ⊕ b — exclusive or
a NAND b · a NOR b · a XNOR b — negated gates
a -> b · a ⇒ b — implication
a <-> b · a ⇔ b — equivalence
Use parentheses for grouping. Variable names are single letters A-Z (case-insensitive).