logic symbols

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