Logic symbol

123456789101112131415
Across
  1. 4. not-negation
  2. 6. &
  3. 9. +
  4. 11. ∀
  5. 13. exclusive or-xor
  6. 14. |
  7. 15. V
Down
  1. 1. !
  2. 2. and
  3. 3. x'
  4. 5. •
  5. 7. if and only if
  6. 8. ~
  7. 10. ⇒
  8. 12. the study of formal logic within mathematics