Logic symbols

12345678910111213
Across
  1. 3. plus O
  2. 4. caret v
  3. 6. mark !
  4. 10. +
  5. 11. .
  6. 13. quote X'
Down
  1. 1. X
  2. 2. line |
  3. 3. ^
  4. 5. .
  5. 7. &
  6. 8. .
  7. 9. all A
  8. 12. exist E