Step 0: Cut-off Subtrees

In this step a sub-tree of the syntax-tree is “cut off”. An R-subtree A is cut from a tree T if and only if the path from the root of T to the root of A contains the Boolean operators of equivalence () or the exclusive-or ( ˙
∨ ).