Допустим, нужно вычислить предикат x + y + z = z + y + x. Если у недвоичного дерева в вершине сложения будут перечислены: x, y, z, а у другой вершины z, y, x, то будет проще их привести к одинаковому виду, отсортировав имена переменных лексикографически. И сразу будет видно, что подвыражения одинаковые, и соответственно предикат TRUE.
Если же, представлять выражение в виде двоичного дерева, то приведение к одинаковому виду будет сложнее, так как нужно будет переставлять местами переменные из разных вершин. К тому же, структура двоичного дерева может отличаться, например, одно поддерево будет выглядеть как (x + y) + z, а другое как x + (y + z). И определение одинаковости этих подвыражений будет затруднено.