Logic symbol

12345678910111213
Across
  1. 2. and
  2. 4. not negation
  3. 6. all Â
  4. 10. or
  5. 11. or
  6. 12. and
  7. 13. nnn and
Down
  1. 1. mark not negation
  2. 3. not negation
  3. 5. negation
  4. 7. exclusive or
  5. 8. if and only if
  6. 9. =>