(X v Z) & ( X v not Z) & ( not Y v Z) =
формула склеивания
(X v Z) & ( X v not Z) = Х
Останется:
Х & ( not Y v Z)
Значит:
(X v Z) & ( X v not Z) & ( not Y v Z) = Х & ( not Y v Z)
(X v Z) & ( X v not Z) & ( not Y v Z) =
формула склеивания
(X v Z) & ( X v not Z) = Х
Останется:
Х & ( not Y v Z)
Значит:
(X v Z) & ( X v not Z) & ( not Y v Z) = Х & ( not Y v Z)