The convert/mod2 function reduces an expression modulo 2.

The expression can contain the following Boolean operators:

These are converted to their equivalent modulo 2 representation.

$\mathrm{convert}\left(7x^{3}y+5\,\mathrm{mod2}\right)$

$xy+1$

$\mathrm{convert}\left(x^2{y}^2+xy\,\mathrm{mod2}\right)$

$0$

$\mathrm{convert}\left(x\mathbf{and}\mathbf{not}y\,\mathrm{mod2}\right)$

$x\left(1+y\right)$

$\mathrm{convert}\left(x\mathbf{or}y\,\mathrm{mod2}\right)$

$xy+x+y$

$\mathrm{convert}\left(x\mathbf{xor}y\Rightarrow z\,\mathrm{mod2}\right)$

$1+x+y+\left(x+y\right)z$