1.
Given the following two statements:

(S1):(qp)(pq)(S_1): (\sim q \vee p) \rightarrow (p \Leftrightarrow \sim q) is a tautology.

(S2):q(pq)(S_2): \sim q \wedge (\sim p \rightarrow q) is a fallacy.

Then: