Дизъюнктивная_нормальная_форма loading ...