Logic
Export
express in terms of Logic package operators
Calling Sequence
Parameters
Description
Available Conversions
Examples
Export(expr, {form})
expr
-
expression suitable for use by the Logic package
form
expression where form=MOD2 or form=boolean
The Export command transforms the expression into one of a specified type.
The following conversions are available (form must be one of these).
MOD2: The Boolean expression is converted to its equivalent modulo 2 format by mapping &and to multiplication, &xor to addition, true to , and false to .
boolean: Any Logic package operators present in the expression are replaced with the equivalent ternary logical operators, for example, and, or, and not.
See Also
boolean
Logic,operators
Logic[Import]
Download Help Document