|
Logic[Import] - express in terms of Logic package operators
|
|
Calling Sequence
|
|
Import(expr, {form})
|
|
|
Parameters
|
|
|
expr
|
-
|
expression
|
|
form
|
-
|
expression where form=MOD2 or form=boolean
|
|
|
|
|
|
Description
|
|
|
•
|
The Import command transforms a Maple expression of a specified type into one suitable for use by the Logic package.
|
|
|
|
Available Conversions
|
|
|
|
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.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
Logic:-&implies(¬(a &xor b), c)
|
|
|
|
>
|
|
|
| (2) |
|
|
