IEVref: | 171-03-15 | ID: | |

Language: | en | Status: Standard | |

Term: | equivalence operation | ||

Synonym1: | IF-AND-ONLY-IF operation [Preferred] | ||

Synonym2: | IFF [Admitted] | ||

Synonym3: | |||

Symbol: | |||

Definition: | dyadic Boolean operation whose result has the Boolean value 1 if and only if the operands have the same Boolean value Note 1 to entry: The equivalence of variables | ||

Publication date: | 2019-03-29 | ||

Source | |||

Replaces: | |||

Internal notes: | |||

CO remarks: | |||

TC/SC remarks: | |||

VT remarks: | |||

Domain1: | |||

Domain2: | |||

Domain3: | |||

Domain4: | |||

Domain5: |

Note 1 to entry: The equivalence of variables *a* and *b* is noted *a* ≡ *b* (U+2261); other notations are also used like *a* ↔ *b* (U+2194) and *a* ⇔ *b* (U+21D4).