(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)