Page History

Versions Compared

Key

This line was added.
This line was removed.
Formatting was changed.

...

Given a parsed input of type boolExp , the simplification process
consists of following four phases:

...