Новиков Д. Я., Черемисинова Л. Д. ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ // Информатика. 2012 №2(34). С.79-86.