Tabulka pravdivosti a logický evaluátor (DNF/CNF, zjednodušené SOP)

Use ! or ~ for NOT, & or ∧ for AND, ^ for XOR, | or ∨ for OR, -> for implication, <-> for equivalence, and constants 0, 1, T, F.

Up to four variables the tool groups minterms in the same way as a Karnaugh map. Five or six variables switch to Quine–McCluskey with Petrick selection. More than six falls back to the canonical DNF.