LOGIC

123456789101112131415
Across
  1. 1. for that reason
  2. 3. exclusive or-xor
  3. 8. indicate by inference
  4. 9. &
  5. 12. ~
  6. 13. !
  7. 14. |
  8. 15. •
Down
  1. 2. equal in value
  2. 4. +
  3. 5. for the reason that
  4. 6. ^
  5. 7. V
  6. 10. function word to make negative
  7. 11. not-negation