Logic

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