RegularChains[SemiAlgebraicSetTools][DisplayQuantifierFreeFormula] - pretty printing of a quantifier-free formula
|
Calling Sequence
|
|
DisplayQuantifierFreeFormula(qff)
|
|
Parameters
|
|
qff
|
-
|
quantifier-free formula
|
|
|
|
|
Description
|
|
•
|
Print the quantifier-free formula in logic formula form
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
|
|
Download Help Document
Was this information helpful?