Evaluate and visualize Boolean formulas

Assign truth values, evaluate expressions, inspect truth tables, and follow step-by-step visual explanations.

Compare logical equivalence

Compare Boolean expressions and determine whether they are logically equivalent.

Check tautologies, contradictions, and contingencies

Classify formulas that are always true, always false, or dependent on their proposition values.

Rewrite expressions

Transform Boolean formulas into different logical operator bases.