Logic symbols

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