SYMBOLICLOGIC

1 recorded uses

Date	Clue
2023-07-02	In which "P or Q, but not both" is represented as (P∨Q)∧¬(P∧Q)