Logic symbol names

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