Boolean Algebra Calculator

This tool reads a boolean expression in up to four variables and works it out one assignment at a time. Type the expression using AB or A*B for AND, A+B for OR, A' or !A for NOT and A^B for XOR, and it returns either the complete truth table or a minimal sum of products. The simplification uses the Quine-McCluskey method and searches the covering step exhaustively, so the result has the fewest product terms available rather than merely fewer than you typed, and it is checked back against every row of the table. Four variables is the ceiling because the table is printed in full. It does not produce a minimal product of sums and has no handling for don't-care conditions.