Explore the foundations of reasoning through 24 interactive demonstrations. From truth tables and proof trees to Godel's incompleteness theorem and SAT solving.
Truth tables, connectives, tautologies, and equivalence
CNF, DNF, logic gates, and Karnaugh maps
Quantifiers, variable binding, and prenex normal form
Proof rules, proof trees, and classic derivations
Truth trees, countermodels, and argument validation
Syntax meets semantics — the fundamental bridge
Godel numbering, self-reference, and the limits of proof
SAT solving, logic circuits, and Sudoku as logic