Logic Symbols

123456789101112131415
Across
  1. 2. all ∀
  2. 4. if and only if (iff)
  3. 6. not-negation
  4. 7. &
  5. 12. ^
  6. 13. ⇒
  7. 14. ∴
  8. 15. or
Down
  1. 1. ~
  2. 3. exclusive or-xor
  3. 5. |
  4. 8. +
  5. 9. •
  6. 10. ∵
  7. 11. x′