Logic symbols

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