Back to Truth tables: formulas, pairs and sets
Exercise 6 of 10
Truth tableDifficulty: StandardNot started
Task
(P → Q) ∧ (Q → ¬P)
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.