(X v Z) & (X v not Z) & (not Y v Z) =
(Xv Z) & (Xv not Z) = X
X & (not Y v Z)
(X v Z) & (X v not Z) & (not Y v Z) = X & (not Yv
(X v Z) & (X v not Z) & (not Y v Z) =
(Xv Z) & (Xv not Z) = X
X & (not Y v Z)
(X v Z) & (X v not Z) & (not Y v Z) = X & (not Yv