Question

Among the two statements 

(S1) : (p ⇒ q) ∧ (q ∧(~q)) is a contradiction and 

(S2) : (p ∧ q) v ((~p) ∧ q) v  

(p ∧ (~q)) v ((~p) ∧ (~q)) is a tautology 

(1) only (S2) is true 

(2) only (S1) is true 

(3) both are false

(4) both are true

Answer 1

(4) both are true