1.5 Logic Laws

1234567891011
Across
  1. 3. p ˅ (p ˄ q) ≡ p // p ˄ (p ˅ q) ≡ p
  2. 5. ﹁(p ˅ q) ≡ ﹁p ˄ ﹁q // ﹁(p ˄ q) ≡ ﹁p ˅ ﹁q
  3. 7. p ˄ ﹁p ≡ F so ﹁T ≡ F // p ˅ ﹁p ≡ T so ﹁F ≡ T
  4. 8. ﹁﹁p ≡ p
  5. 10. p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r) // p ˄ (q ˅ r) ≡ (p ˄ q) ˅ (p ˄ r)
  6. 11. p → q ≡ ﹁p ˅ q // p ↔ q ≡ (p → q) ˄ (q → p)
Down
  1. 1. p ˄ F ≡ F // p ˅ T ≡ T
  2. 2. p ˅ q ≡ q ˅ p // p ˄ q ≡ q ˄ p
  3. 4. p ˅ F ≡ p // p ˄ T ≡ p
  4. 6. (p ˅ q) ˅ r ≡ p ˅ (q ˅ r) // (p ˄ q) ˄ r ≡ p ˄ (q ˄ r)
  5. 9. p ˅ p ≡ p // p ˄ p ≡ p