Guess the Logic Symbol

123456789101112131415
Across
  1. 2. ^
  2. 4. &
  3. 6. and
  4. 10.
  5. 11.
  6. 13. ~
  7. 15. reversed caret
Down
  1. 1.
  2. 3. not-negation
  3. 5. ¬
  4. 7.
  5. 8.
  6. 9. +
  7. 12.
  8. 14.