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