Truth Table Checker


Enter one or more well-formed formulas above and your truth table will be generated for you to practice with.

φ ψ ~φ φ & ψ φ v ψ φ → ψ φ ↔ ψ
T T F T T T T
T F F F T F F
F T T F T T F
F F T F F T T

Logical Properties Checker


What is the logical status of wff1?
Is the group of wffs consistent?
Is each wff logically equivalent to all the others? (one wff is deemed vacuously logically equivalent):
Treating the last wff as the conclusion and the rest as premises, is the argument valid?