Logic symbols

Edit Answers
123456789101112131415
Across
  1. 1. negation
  2. 3. ∀
  3. 8. if and only if (iff)
  4. 9. ¬
  5. 11. x&y
  6. 12. x ^ y
  7. 13. not - negation
  8. 15. x+y
Down
  1. 2. !
  2. 4. V
  3. 5. ∴
  4. 6. |
  5. 7. overline x
  6. 10. ∵
  7. 14. exclusive or - xor