Logic Symbols

123456789101112131415
Across
  1. 3.
  2. 4. x' quote
  3. 7.
  4. 9. ∨ caret
  5. 11. ~ negation
  6. 12. ¬
  7. 13. caret
  8. 14.
Down
  1. 1. &
  2. 2.
  3. 5. ! mark
  4. 6. | line
  5. 8.
  6. 10. there ∃
  7. 15. +