F=(x\/z)λ(x\/неz)λнеy у простите. -*--

Условные обозначения:
not(x)=не(х)
\/ = +
/\=*
1) F=(x+z)*(x+not(z))*not(y)={можем раскрыть скобки точно так же, как в обычной алгебре}=(x*x+x*not(z)+z*x+z*not(z))*not(y)={применяем закон идентичности, исключающего третьего, свойства констант}=(x+x(not(z)+z)+0)*not(y)=(x+x*1)not(y)=(x+x)*not(y)=x*not(y);

2) F=(x+z)*(x+not(z))*not(y)={можем сразу воспользоваться законом дистрибутивности}=(x+z*not(z))*not(y)=(x+0)*not(y)=x*not(y).