| a. |
(p ⇒ q) ∨ (q ⇒ p) |
|
|
| b. |
p ∧ (p ⇒ ¬q) ∧ q |
|
|
| c. |
(p ⇒ (q ∧ r)) ⇔ (p ⇒ q) ∧ (p ⇒ r) |
|
|
| d. |
(p ⇒ (q ⇒ r)) ⇒ ((p ∧ q) ⇒ r) |
|
|
| e. |
(p ⇒ q) ∧ (p ⇒ ¬q) |
|
|
| f. |
(¬p ∨ ¬q) ⇒ ¬(p ∧ q) |
|
|
| g. |
((¬p ⇒ q) ⇒ (¬q ⇒ p)) ∧ (p ∨ q) |
|
|
| h. |
(¬p ∨ q) ⇒ (q ∧ (p ⇔ q)) |
|
|
| i. |
((¬r ⇒ ¬p ∧ ¬q) ∨ s) ⇔ (p ∨ q ⇒ r ∨ s) |
|
|
| j. |
(p ∧ (q ⇒ r)) ⇔ ((¬p ∨ q) ⇒ (p ∧ r)) |
|
|
