logic

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