Back to Truth tables: formulas, pairs and sets
Exercise 5 of 10
Truth tableDifficulty: StandardNot started
Task
¬(P ∧ Q) ↔ (¬P ∨ ¬Q)
Fill in the truth table and say whether the formula is a tautology, a contradiction or contingent, and whether it is satisfiable.
Work on it in the tool, then come back here and check your answer.