LOGIC

1234567891011121314
Across
  1. 2.
  2. 4. x'
  3. 7. or
  4. 8. if and only if (iff)
  5. 9. negation
  6. 11. |
  7. 12.
  8. 13. not - negation
  9. 14. ^
Down
  1. 1.
  2. 2. &
  3. 3.
  4. 5.
  5. 6. ¬
  6. 10.