Использование аксиомы теории вероятности в задачах анализа булевых функций

Рассматриваются методы решения задач подсчета единичных конституентов булевой функции и проверки тождеств с использованием вероятностных моделей булевых функций.