Question

For the statements p and q, consider the following compound statements :

(a) (~q Ù (p → q)) → ~p

(b) ((p Ú q) Ù ~ p) → q

Then which of the following statements is correct?

(1) (a) and (b) both are not tautologies.

(2) (a) and (b) both are tautologies.

(3) (a) is a tautology but not (b).

(4) (b) is a tautology but not (a).

Answer 1

The correct option is (2) (a) and (b) both are tautologies.

(A)

Both are tautologies.