LOGIC SYMBOLS

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