>
|
|
>
|
|
>
|
|
To reverse these conversions use convert, boolean_operator
>
|
|
To restrict the application of the conversion only to one (or some) type of boolean operators use for instance
>
|
|
>
|
|
Note that, convert, boolean_function returns using only {And,Or,Not}, so statements using {xor, implies} will not result in statements with {Xor, Implies} in the output (even when convert, boolean_operator knows about them)
>
|
|
>
|
|
Boolean statements constructed with operators have some simplifications performed automatically.
>
|
|
The equivalent boolean function statement is not automatically simplified (quotes around the boolean operator statement are required).
>
|
|
| (15) |
The function representation above permits further manipulations of the boolean statement without having it simplified to 'false'.
The order and precedence of the operations becomes explicit:
>
|
|
>
|
|
To reverse this conversion use
>
|
|
| (20) |
For information on manipulating and simplifying these expressions, see the Logic package.