Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

26 Докажем (5.5) . xy  x y =x(y  y )=x  1 = x. Обобщенное склеивание. xz  y z  xy=xz  y z . (5.6) Докажем (5.6 ). xz  y z  xy=xz  y z  xyz  x y z =xz  y z . Расщепление. x  x y=x  y. (5.7) Докажем (5.7). x  x y= xy  x y  x y= xy  x y  xy  x y= =x  1  y  1= x  y.