Logic symbols

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