Булевы формулы, таблица

Программист Петр использовал в своей программе три целочисленные переменные x,y и z. В определенном месте программы он поместил условный оператор:

IF (x*y>=0) OR (x*z>=0) THEN x=1 ELSE x=2;

Проанализировав свою программу, Петр установил, что перед выполнением этого оператора выполнены следующие условия:

1) Если z<0, то x=0;

2) x>=0 или y<0;

3) Если y<0, то хотя бы одна из переменных x,z отрицательна, но не обе вместе.

Опишите знание Петра в виде булевой формулы. Может ли он оптимизировать программу, заменив указанный условный оператор на присваивание x=1 или на присваивание x=2? Если "да", то на какое?