Question
Mathematics Question on types of differential equations
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
A
both are true
B
both are false
C
only (S1) is true
D
only (S2) is true
Answer
both are true
Explanation
Solution
The correct option is(A): both are true