Тупиковая дизъюнктивная нормальная форма