You are on page 1of 1

[¬p∧(p∨q)]→q

p q ¬p p ∨ q ¬ p ∧ ( p ∨ q ) [ ¬ p ∧ ( p ∨ q ) ] → q
T T F T F T
T F F T F T
F T T T T T
F F T F F T
Conclusion: The conditional statement is a tautology because the proposition is always true.

You might also like