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

equivalency

noun

the state of being equivalent or interchangeable

mathslogic

the relationship between two statements, each of which implies the other

Also called: biconditionalthe 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