Logic symbols

Edit Answers
123456789101112131415
Across
  1. 2. the symbol is •
  2. 7. the symbol is =>
  3. 9. the symbol name of negation
  4. 10. the symbol is !
  5. 11. the symbol name of not-negation
  6. 13. the symbol is +
  7. 15. the symbol is &
Down
  1. 1. the symbol name of exclusive or-xor
  2. 3. the defination of ~
  3. 4. the symbol is |
  4. 5. the symbol is x'
  5. 6. the symbol is ^
  6. 8. the symbol name of if and only if (iff)
  7. 12. the defination of reversed caret
  8. 14. not-negation