О реализации слабо определенных булевых функций посредством линеаризованных дизъюнктивных нормальных форм

Предложен метод реализации частичных булевых функций линеаризованными дизъюнктивными нормальными формами. Получена оценка сложности реализации. Показано, что нельсоновская система булевых уравнений допускает возможность сокращения в 10 раз, но почти всегда может быть сокращена в любое фиксированное число раз.