The Import command transforms a Maple expression of a specified type into one suitable for use by the Logic package.

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

MOD2:  An input polynomial is converted to a boolean expression by mapping multiplication to &and, addition to &xor, $1$ to true, and $0$ to false.

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

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

$\mathrm{Import}\left(a\mathbf{or}b\mathbf{or}c\,\mathrm{form}=\mathrm{boolean}\right)$

$\left(a\vee b\right)\vee c$

$\mathrm{Import}\left(\mathbf{not}\left(a\mathbf{xor}b\right)\Rightarrow c\,\mathrm{form}=\mathrm{boolean}\right)$

$\left(\neg \left(a⊻b\right)\right)\Rightarrow c$

$\mathrm{Import}\left(x\left(y+1\right)+z+1\,\mathrm{form}=\mathrm{MOD2}\right)$

$\neg \left(\left(x\wedge \left(\neg y\right)\right)⊻z\right)$