Logic
Import
express in terms of Logic package operators
Calling Sequence
Parameters
Description
Available Conversions
Examples
Import(expr, {form})
expr
-
expression
form
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, 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.
See Also
boolean
Logic,operators
Logic[Export]
Download Help Document