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,  to true, and  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.