F. Logic

123456789101112131415
Across
  1. 3. ^
  2. 5. X'
  3. 9. +
  4. 10. |
  5. 11. the pattern of digits under the bar repeats without end
  6. 12. and
  7. 13. ¬
  8. 15. ~
Down
  1. 1.
  2. 2.
  3. 4. v
  4. 6.
  5. 7. if and only if (Iff)
  6. 8. not-negation
  7. 14.