EQV stands for equivalence and is used for constraints.
...
- This function is used in constraints only.
- It returns TRUE if the values tested are the same, and returns FALSE only if they are not.
- EQV is the opposite of XOR. Other operators are AND, IMP, OR and XOR
...
