Assignment 01

Opened: Wednesday, 17 August 2022, 12:00 AM
Due: Tuesday, 23 August 2022, 12:00 AM

Instruction:
First of all, make your answer script into a pdf file. Then upload the file to your google drive and create the shareable link.  Then attach the link to your textbox.
Question:
Prove that All the compound propositions are logically equivalent using the truth table

  1.  p → q ≡ ¬q → ¬p
  2. ¬(p → q) ≡ p ∧ ¬q
  3. (p → q) ∧ (p → r) ≡ p → (q ∧ r)
  4. (p → r) ∧ (q → r) ≡ (p ∨ q) → r
  5. (p → q) ∨ (p → r) ≡ p → (q ∨ r)
  6. p ↔ q ≡ (p → q) ∧ (q → p)
  7. p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)
  8. ¬(p ↔ q) ≡ p ↔ ¬q