Программист Петр использовал в своей программе три целочисленные переменные x,y и z. В определенном
месте программы он поместил условный оператор:
IF (x*y>=0) OR (x*z>=0) THEN x=1 ELSE x=2;
Проанализировав свою программу, Петр установил, что перед выполнением этого оператора выполнены
следующие условия:
1) Если z<0, то x<0 или y>=0;
2) x>=0 или y<0;
3) Если y<0, то хотя бы одна из переменных x,z отрицательна, но не обе вместе.
Опишите знание Петра в виде булевой формулы. Может ли он оптимизировать программу, заменив указанный
условный оператор на присваивание x=1 или на присваивание x=2? Если "да", то на какое?