express in terms of Logic package operators
expression where form=MOD2 or form=boolean
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.
Download Help Document