лваемое на переменные условие

Ниже показано, как с помощью процедуры ор() можно "извлечь" накла- лваемое на переменные условие (оно необходимо для установления взаимо-зи между дифференциалами переменных х и у).