LOGIC

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