 Import - Maple Help

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, $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. Examples

 > $\mathrm{with}\left(\mathrm{Logic}\right):$
 > $\mathrm{Import}\left(a\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{or}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}b\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{or}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}c,\mathrm{form}=\mathrm{boolean}\right)$
 $\left({a}{\vee }{b}\right){\vee }{c}$ (1)
 > $\mathrm{Import}\left(\mathbf{not}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\left(a\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{xor}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}b\right)⇒c,\mathrm{form}=\mathrm{boolean}\right)$
 $\left({¬}\left({a}{⊻}{b}\right)\right){⇒}{c}$ (2)
 > $\mathrm{Import}\left(x\left(y+1\right)+z+1,\mathrm{form}=\mathrm{MOD2}\right)$
 ${¬}\left(\left({x}{\wedge }\left({¬}{y}\right)\right){⊻}{z}\right)$ (3)