... in symbolic logic, but the 7Sage program seems to only use ... that stood out to me is: "Neither ... nor". In symbolic logic ... the DeMorgan's laws. However, 7Sage suggests the translation: A -> ... the other logical operators? It is distinctly possible that I am ...