Logic Symbols

123456789101112131415
Across
  1. 4. if and only or iff
  2. 6. not negation or !
  3. 7. ∀
  4. 8. and or &
  5. 9. or or +
  6. 11. negation or ~
  7. 13. or or V
  8. 15. not negation or X'
Down
  1. 1. ∴
  2. 2. or or |
  3. 3. ∄
  4. 5. not negation
  5. 10. exclusive or xor
  6. 12. and
  7. 14. ⇒