Logic Symbol

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