LOGIC SYMBOLS

1234567891011121314
Across
  1. 2. symbol name of |
  2. 7. symbol name of ∀
  3. 9. symbol name of ∃
  4. 11. ⇔
  5. 12. definition of tilde
  6. 13. ∨
  7. 14. ⇒
Down
  1. 1. symbol name of x'
  2. 3. symbol name of !
  3. 4. symbol name of ^
  4. 5. symbol name of ∴
  5. 6. +
  6. 8. symbol name of &
  7. 9. symbol name of negation
  8. 10. ⊕