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, $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.
$\mathrm{with}\left(\mathrm{Logic}\right)\:$
$\mathrm{Import}\left(a\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle \mathbf{or}}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}b\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle \mathbf{or}}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}c\,\mathrm{form}=\mathrm{boolean}\right)$
$\left({a}{\vee}{b}\right){\vee}{c}$
$\mathrm{Import}\left({\textstyle \mathbf{not}}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\left(a\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle \mathbf{xor}}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}b\right)\Rightarrow c\,\mathrm{form}=\mathrm{boolean}\right)$
$\left({\neg}\left({a}{\u22bb}{b}\right)\right){\Rightarrow}{c}$
$\mathrm{Import}\left(x\left(y+1\right)+z+1\,\mathrm{form}=\mathrm{MOD2}\right)$
${\neg}\left(\left({x}{\wedge}\left({\neg}{y}\right)\right){\u22bb}{z}\right)$
See Also
boolean
Logic,operators
Logic[Export]
Download Help Document
What kind of issue would you like to report? (Optional)