Logic

1234567891011121314
Across
  1. 3.
  2. 4. ¬
  3. 7. ~
  4. 10.
  5. 12. |
  6. 13. &
Down
  1. 1. x'
  2. 2.
  3. 5.
  4. 6. ^
  5. 7.
  6. 8. x
  7. 9.
  8. 11.
  9. 14. +