Enter equations and unknowns for the truth-table below, one per line.

Use * in place of ∧ (AND), + in place of ∨ (OR), # in place of (NOR), $ in place of (NAND), ^ in place of (XOR), - in place of ¬ (NOT), =>, <= and <=> in place of ⇒, ⇐ and ⇔ arrows.

Prefix an equation with a variable letter and a colon to calculate intermediate values. Since columns are evaluated from left to right, an intermediate variable must be declared to the left of the current equation before you can use it.

As usual in mathematics, case matters for variable names.

Source code