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.
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.
Selection: Single Formula
Effect: Replaces a formula by a newly created And or Or formula. The selected formula is added as child.