Logic

123456789101112131415
Across
  1. 3. represented by the symbol "^"
  2. 5. represented by the symbol "∀"
  3. 7. represented by the symbol "∃"
  4. 10. represented by the symbol "|"
  5. 12. represented by the symbol "⇒"
  6. 13. represented by the symbol "!"
  7. 14. represented by the symbol "¬"
  8. 15. represented by the symbol "⋅"
Down
  1. 1. represented by the symbol "+"
  2. 2. represented by the symbol "⇔"
  3. 4. represented by the symbol "∴"
  4. 6. represented by the symbol "&"
  5. 8. represented by the symbol "~"
  6. 9. represented by the symbol "∵"
  7. 11. represented by the symbol "⊕"