The Export command transforms the expression $\mathrm{expr}$ into one of a specified type.

The following conversions are available (form must be one of these).

MOD2: The Boolean expression is converted to its equivalent modulo 2 format by mapping &and to multiplication, &xor to addition, true to $1$, and false to $0$.

boolean: Any Logic package operators present in the expression are replaced with the equivalent ternary logical operators, for example, and, or, and not.

$\mathrm{with}\left(\mathrm{Logic}\right)\:$

$\mathrm{Export}\left(\left(\mathrm{`\&and`}\left(a\,b\,c\right)\right)\&orb\,\mathrm{form}=\mathrm{boolean}\right)$

$a\mathbf{and}b\mathbf{and}c\mathbf{or}b$

$\mathrm{Export}\left(\left(\mathrm{`\&nor`}\left(a\,b\,c\right)\right)\&andb\,\mathrm{form}=\mathrm{boolean}\right)$

$\mathbf{not}\left(a\mathbf{or}b\mathbf{or}c\right)\mathbf{and}b$

$\mathrm{Export}\left(\left(\&not\left(a\right)\right)\&orb\,\mathrm{form}=\mathrm{MOD2}\right)$

$1+a\left(b+1\right)$