"Решение задач с использованием конъюнктивной нормальной и дизъюнктивной нормальной форм" - читать интересную книгу автора (Лапшева Е.Е. Саратовский государственный...)