Truth tables
Fill in full or short truth tables and test validity, equivalence and consistency.
What are you entering?
Table
One formula, as in (P → Q) ∨ ¬P.
Type a formula, or start from an example.
Fill in full or short truth tables and test validity, equivalence and consistency.
What are you entering?
Table
One formula, as in (P → Q) ∨ ¬P.
Type a formula, or start from an example.