Set the variables, add expression columns, click cells to toggle, or type a proposition to auto-fill it.
No rules match your search.
A lightweight study kit for discrete math, with three tools: a Truth Table Builder that auto-fills T/F values, Study Notes for the core rules and algorithms, and Flashcards to quiz yourself to mastery.
Operators: ¬ ∧ ∨ → ↔ ⊕ · or type ASCII ~ & | -> <-> ^. Click a cell to toggle T / F / blank.
¬ ∧ ∨ → ↔ ⊕
~ & | -> <-> ^
Every compound proposition falls into one of three categories, based on its truth column:
p ∨ ¬p
p ∧ ¬p
Key relationships:
P
¬P
P ≡ Q
P ↔ Q
Asking “is this proposition satisfiable?” is the famous SAT problem in computer science.
For CSCI S-20 and anyone learning logic. ✦