F. Logic

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