Assertion: algebra's operation | /r/Synonym | symmetric difference
Facets:
value: in the case of logic
type: OTHER
Source sentences:
text: ) ∧ ¬(a ∧ b) (this operation is called symmetric difference in the case of sets and XOR in the case of logic) and a · b := a ∧