LOGIC

123456789101112131415
Across
  1. 1. x'
  2. 4.
  3. 6. ^
  4. 9. if and only if (iff)
  5. 11.
  6. 12.
  7. 13.
  8. 14. or
  9. 15. !
Down
  1. 2. negation
  2. 3. |
  3. 5.
  4. 7.
  5. 8. tilde
  6. 10. and