Answer to Question #348143 in Discrete Mathematics for Somitta

Question

Use a truth table to determine whether the given statement is a tautology or self-contradiction.

1. ~[p ∧ ( ~p v q)] v q

2. [p ∧ ( ~p v q)] v q

Answer 1

1. ~[p ∧ ( ~p v q)] v q

Statement 1 is a tautology

2. [p ∧ ( ~p v q)] v q

Statement 2 is self-contradiction