Proving w/ Logical Equivalence

i. Simplify the following propositions. Identify whether the proposition is a tautulogy,

contradiction or a contingency.

1. ¬p → (p → q)

2. (p∨q) → (p∧q)

3. p ↔¬p
ii. Determine whether the following pairs of propositions are logically equivalent or not using
Rules of Logical Equivalences. Verify your answers using the truth table.

1. p → q and ¬q →¬p

2. (p∧q) → r and (p → r)∧(q → r)

3. ¬(p ↔ q) and ¬p ↔ q