LOGIC

123456789101112131415
Across
  1. 3.
  2. 5. ~
  3. 7. not-negation
  4. 11.
  5. 12. ^
  6. 13. V
  7. 15.
Down
  1. 1.
  2. 2. \
  3. 4. or/+
  4. 6. !
  5. 8. E
  6. 9. &
  7. 10.
  8. 14. if and only if(iff)