Logic Symbols

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