Logic symbols

1234567891011121314
Across
  1. 4.
  2. 5. ∨ or x ∨ y.
  3. 6. ⋅ / x ⋅ y.
  4. 7. + or x + y.
  5. 8.
  6. 10. !
  7. 12. | or x | y.
  8. 14. ¬ x.
Down
  1. 1. negation ~x.
  2. 2. x'.
  3. 3. ⊕.
  4. 6. & or x & y.
  5. 9. ⇔/↔.
  6. 11. ^ or x ^ y.
  7. 13. ∨ or x ∨ y.