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.
Export⁡`&and`⁡a,b,c &or b,form=boolean
Export⁡`&nor`⁡a,b,c &and b,form=boolean
Export⁡`¬`⁡a &or b,form=MOD2
Download Help Document