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.

with(Logic):

Import(a or b or c, form=boolean);

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

Import(not (a xor b) implies c, form=boolean);

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

Import(x*(y+1)+z+1, form=MOD2);

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