the relation between two statements only one of which can be true in any circumstances
a function of two statements that takes the value true only when one but not both of its arguments is true
a compound statement asserting that just one of its components is true
Abbreviation exclusive or
equivalence
/ɪˈkwɪvələns/
noun
1.
the state of being equivalent or interchangeable
2.
(maths, logic)
the relationship between two statements, each of which implies the other
Also called biconditional. the binary truth-function that takes the value true when both component sentences are true or when both are false, corresponding to English if and only if. Symbol: ≡ or ↔, as in –(p ∧ q) ≡ –p ∨ –q