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