Совершенная дизъюнктивная нормальная