True Table Pro

Enter a logical expression to generate a truth table and analyze its properties.

Expression Input
Use variables (e.g., p, q) and operators: AND, OR, NOT, -> (implies), <-> (iff).

Or try an example: