Logic

123456789101112131415
Across
  1. 2.
  2. 4. ^
  3. 5. negation
  4. 6.
  5. 12. V
  6. 14.
  7. 15. !
Down
  1. 1. exclusive or- xor
  2. 3. |
  3. 7. and
  4. 8. symbol ∃
  5. 9.
  6. 10. +
  7. 11. ¬
  8. 13. if and only if (iff)