Упростить выражениеX & Y v not X v not Y=X & ( X v Y) & not Y =

Question

Упростить выражение
X & Y v not X v not Y=

X & ( X v Y) & not Y =

Answer 1

Двигайся в эту сторону, немного подзабыл упрощения.

 

за законом дистрибутивности

x \/ (z^ not z)^(not y \/ z)

закон 0, 1 и not

z^not z = 0

x \/ 0^(not y \/ z)

x^(not y \/ z )