LOGIC SYMBOLS

123456789101112131415
Across
  1. 4. example ! x
  2. 7. ⇔
  3. 10. &
  4. 11. example x ⋅ y
  5. 12. example x + y
  6. 14. example ¬ x
  7. 15. ∴
Down
  1. 1. example x ^ y
  2. 2. ∨
  3. 3. exclusive or - xor
  4. 5. ∵
  5. 6. ∀
  6. 8. negation
  7. 9. ⇒
  8. 13. x'