Question
Mathematics Question on types of differential equations
(S1): (p⇒q)∧(p∧((~q)) is a contradiction and
(S2): (p∧q)v((~q)v((~p)∧ q)v (p∧(~q))v((~p)∧ (~q)) is a tautology
A
both (S1) and (S2) are true.
B
both (S1) and (S2) are false.
C
only (S1) is true.
D
only (S2) is true.
Answer
both (S1) and (S2) are true.
Explanation
Solution
The correct option is(A): both (S1) and (S2) are true