Logic symbols

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