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
What kind of issue would you like to report? (Optional)