Logic Symbols

123456789101112131415
Across
  1. 5.
  2. 8. !
  3. 12.
  4. 13. ¬P (Not P)
  5. 14. exclusive or - xor
  6. 15.
Down
  1. 1. P ∧ Q (And)
  2. 2. A ⊢ B
  3. 3.
  4. 4.
  5. 6.
  6. 7. P ↔ Q
  7. 9. ^
  8. 10. &
  9. 11. ~