Logic Symbol

123456789101112131415
Across
  1. 1.
  2. 2.
  3. 3.
  4. 5. ¬
  5. 7. ^
  6. 9.
  7. 10. ~
  8. 12. x'
  9. 13. +
  10. 14.
Down
  1. 1. &
  2. 4. |
  3. 6.
  4. 8. x or not-negation
  5. 11.
  6. 15.