Двигайся в эту сторону, немного подзабыл упрощения.
за законом дистрибутивности
x \/ (z^ not z)^(not y \/ z)
закон 0, 1 и not
z^not z = 0
x \/ 0^(not y \/ z)
x^(not y \/ z )
