"Полиномиальная реализация частичных булевых функций и систем" - читать интересную книгу автора (Закревский А.Д., Торопов Н.Р. )