## 5.422. zero_or_not_zero

Origin

Arithmetic.

Constraint

$\mathrm{𝚣𝚎𝚛𝚘}_\mathrm{𝚘𝚛}_\mathrm{𝚗𝚘𝚝}_\mathrm{𝚣𝚎𝚛𝚘}\left(\mathrm{𝚅𝙰𝚁}\mathtt{1},\mathrm{𝚅𝙰𝚁}\mathtt{2}\right)$

Synonyms

$\mathrm{𝚣𝚎𝚛𝚘𝚜}_\mathrm{𝚘𝚛}_\mathrm{𝚗𝚘𝚝}_\mathrm{𝚣𝚎𝚛𝚘𝚜}$, $\mathrm{𝚗𝚘𝚝}_\mathrm{𝚣𝚎𝚛𝚘}_\mathrm{𝚘𝚛}_\mathrm{𝚣𝚎𝚛𝚘}$, $\mathrm{𝚗𝚘𝚝}_\mathrm{𝚣𝚎𝚛𝚘𝚜}_\mathrm{𝚘𝚛}_\mathrm{𝚣𝚎𝚛𝚘𝚜}$.

Arguments
 $\mathrm{𝚅𝙰𝚁}\mathtt{1}$ $\mathrm{𝚍𝚟𝚊𝚛}$ $\mathrm{𝚅𝙰𝚁}\mathtt{2}$ $\mathrm{𝚍𝚟𝚊𝚛}$
Purpose

Enforce the fact that either both variables are equal to 0, or both variables are not equal to 0.

Example
$\left(1,8\right)$

The $\mathrm{𝚣𝚎𝚛𝚘}_\mathrm{𝚘𝚛}_\mathrm{𝚗𝚘𝚝}_\mathrm{𝚣𝚎𝚛𝚘}$ constraint holds since values 1 and 8 are both not equal to zero.

Symmetry

Arguments are permutable w.r.t. permutation $\left(\mathrm{𝚅𝙰𝚁}\mathtt{1},\mathrm{𝚅𝙰𝚁}\mathtt{2}\right)$.