Mathematical Logic

Mathematical Principles & Theorems

Investigates propositional and Boolean logic. Operators: Negation (\(\neg\)), Conjunction (\(\land\)), Disjunction (\(\lor\)), Implication (\(P \implies Q \equiv \neg P \lor Q\)), and Biconditional (\(P \iff Q\)). Formulas are classified as Tautologies (valid in all valuations), Contradictions (unsatisfiable), or Contingencies. Transformation to Conjunctive Normal Form (CNF) and Disjunctive Normal Form (DNF) via distributive laws and De Morgan's identities.

Operating Instructions

• Enter a logical proposition using propositional variables (P, Q, R) and operator buttons.
• Click Generate Truth Table to evaluate all \(2^n\) truth assignments.
• Inspect truth table column valuations, main connective evaluation, and tautology checks.
• View simplified equivalent expressions and CNF/DNF canonical expansions.