Formula Commands

Negate Formula

Selection: Single Formula

Effect: Negates the formula by either inserting or removing a containing Not element. If a Not is negated it is replaced by its child element in its containing element.

Toggle Junction Type

Selection: Single BinaryFormula

Effect: Replace an And formula with an Or formula and vice versa. The child elements of the original formula are moved to the new formula.

Wrap in AND/OR

Selection: Single Formula

Effect: Replaces a formula by a newly created And or Or formula. The selected formula is added as child.

Replace by child Left/Right

Selection: Single BinaryFormula

Effect: Replaces a formula by its left or right child in its container. The selected formula and its other child are removed from the model.