Об оптимальном уменьшении числа уравнений в системах нельсоновского типа

Рассматривается система булевых уравнений нельсоновского типа. Разбиение уравнений системы на пары и перемножение уравнений каждой пары производится согласно формуле С. В. Яблонского. Это позволяет оптимально уменьшить число уравнений первоначальной системы примерно в два раза. Выводится формула сложности произведения любых двух уравнений новой системы. Применение этой формулы в процессе разбиения на пары уравнений новой системы дает возможность сокращать число уравнений первоначальной системы примерно в четыре раза.