Logic Symbols

12345678910111213141516
Across
  1. 3.
  2. 5. &
  3. 7. ~
  4. 11.
  5. 14. ¬
  6. 15. |
  7. 16.
Down
  1. 1. !
  2. 2. +
  3. 4. x'
  4. 6. x
  5. 8.
  6. 9. all ∀
  7. 10. ^
  8. 12.
  9. 13.