Как правильно преобразовать в дизъюнктивную нормальную форму