Propositional Logic

1234567891011
Across
  1. 4. From: P→Q,  Q Derive: P'
  2. 5. (P∨Q)′≡P′∧Q′
  3. 8. From: P∧Q Derive: P and Q
  4. 9. From: P,Q Derive: P∧Q
  5. 11. P→Q≡P′∨Q
Down
  1. 1. From: P Derive: P∨Q
  2. 2. From: P,  P→Q Derive: Q
  3. 3. P∨(Q∨R)≡(P∨Q)∨R
  4. 6. P↔Q≡(P→Q)∧(Q→P)
  5. 7. P≡(P′)′
  6. 10. P∨Q≡Q∨P