IEVref:171-03-15ID:
Language:enStatus: 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 a and b is noted a ≡ b (U+2261); other notations are also used like a ↔ b (U+2194) and a ⇔ b (U+21D4).


Publication date:2019-03-29
Source
Replaces:
Internal notes:
CO remarks:
TC/SC remarks:
VT remarks:
Domain1:
Domain2:
Domain3:
Domain4:
Domain5: