1.
Consider the two statements:
(S1):(pq)(¬qp)(S_1): (p \rightarrow q) \lor (\neg q \rightarrow p) is a tautology.
(S2):(p¬q)(¬pq)(S_2): (p \land \neg q) \land (\neg p \lor q) is a fallacy.
Then: