logic symbols

Edit Answers
123456789101112131415
Across
  1. 1. -x
  2. 5. !x
  3. 7. not-negation
  4. 8. x|y
  5. 12. a relationship between two propositions
  6. 14. xVy
  7. 15. x^y
Down
  1. 2. negation
  2. 3. not-negation
  3. 4. and
  4. 6. existence of variable
  5. 9. if and only if
  6. 10. exclusive or -xor
  7. 11. x+y
  8. 13. x&y