Булева Алгебра)

[Dexal]

Помогите пожалуйста)Ни как не могу понять,как минимизировать то,что стоит в скобках
Пускай НЕ-это !
х4*х5*(!х1*х2*х3+х1*!х2*!х3) или хотя бы скажите,по какому это закону)
Взаимоуничтожаться это вроде не может,или все таки может?

[dbalor]

Останется х4*х5

[ura_111]

Нет dbalor, останется не х4*х5...

Вот таблица истинности (обрати внимание на 0-ли f()):

34.jpg

если бы функция (!х1*х2*х3+х1*!х2*!х3) имела результат всегда 1-цы (раз мы умножаем скобку на х4*х5), тогда: "Да". А так....

[evg_m]

если бы функция (!х1*х2*х3+х1*!х2*!х3) имела результат всегда 1-цы

  x1*!x2*!x3 +!x1* x2* x3
  x1*!x2*!x3 +!!(!x1*x2*x3)
  x1*!x2*!x3 +!(x1*!x2*!x3) =1

[ura_111]

evg_m, я не понимаю. Ты хочешь сказать, что выражение в скобках всегда выдаёт 1-цу?

Посмотрим... Смотреть будем для входа когда все 1-цы, т.е.

х1=1, х2=1, х3=1

Вот приоритет логических операций:

34.jpg

Итак,

 !х1*х2*х3+х1*!х2*!х3
 !1*1*1+1*!1*!1
 0*1*1+1*0*0
 0*1+1*0
 0+0
 0

Уже здесь 0-ль!

[evg_m]

в скобках у нас ОДНО и тоже выражение, которое можно "заменить" новой переменной z и получить
z + !z ===1

[Аватар]

z + !z ===1

х1*!х2*!х3 не есть отрицание !х1*х2*х3