Logic symbols

123456789101112131415
Across
  1. 3.
  2. 6.
  3. 7. exists ∃
  4. 9.
  5. 12. equivalence ≡
  6. 13. T
  7. 14. and only if ↔
  8. 15.
Down
  1. 1. or ⊕
  2. 2.
  3. 4. ¬
  4. 5.
  5. 8.
  6. 10. F
  7. 11. all ∀