Условные обозначения: 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).
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).