Logic

123456789101112131415
Across
  1. 2. !
  2. 5. x
  3. 7. -
  4. 8.
  5. 10.
  6. 12. v
  7. 13. ~
  8. 14. +
  9. 15.
Down
  1. 1.
  2. 3. &
  3. 4. x'
  4. 6. ^
  5. 9. |
  6. 11. .