express in terms of Logic package operators
expression suitable for use by the Logic package
expression where form=MOD2 or form=boolean
The Export command transforms the expression expr 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 1, and false to 0.
boolean: Any Logic package operators present in the expression are replaced with the equivalent ternary logical operators, for example, and, or, and not.
Download Help Document
What kind of issue would you like to report? (Optional)