Денис Тугарёв
Реализация булевых функций на непересекающихся множествах переменных
Продолжение доклада.