logic

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