Logic

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