Logic

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