1.
Given the following two statements:

(S1):(∼q∨p)→(p⇔∼q)(S_1): (\sim q \vee p) \rightarrow (p \Leftrightarrow \sim q) is a tautology.

(S2):∼q∧(∼p→q)(S_2): \sim q \wedge (\sim p \rightarrow q) is a fallacy.

Then:
Mathematical Reasoning - Medium - Question