LOGIC SYMBOLS

123456789101112131415
Across
  1. 2.
  2. 5.
  3. 8. x ⋅ y
  4. 10.
  5. 11. negation
  6. 13. if and only if (iff)
  7. 14. ¬ x
  8. 15. not - negation
Down
  1. 1.
  2. 3. &
  3. 4. x | y
  4. 6. x'
  5. 7. ! x
  6. 9.
  7. 12. x + y