LOGIC SYMBOLS

12345678910111213141516
Across
  1. 3.
  2. 6. .
  3. 10.
  4. 11.
  5. 14. !
  6. 15.
Down
  1. 1. if and only if
  2. 2. v
  3. 4. &
  4. 5.
  5. 7.
  6. 8.
  7. 9. ^
  8. 12.
  9. 13. ~
  10. 16. ¬