F=(X\/Z)Λ(X\/неZ)ΛнеY

+ 0 -

Galya200896

22 нояб. 2016 г., 2:32:43 (7 лет назад)

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