Используя логические манипуляции, как я могу доказать, что эти две стороны равны? Во-первых, я собирался манипулировать обеими сторонами, пока они не совпадут. Я не могу манипулировать им правильно, хотя.
wy + w'yz' + wxz + w'xy' = wy + w'xz' + x'yz' + xy'z
ad' + a'b + c'd + b'c = (a' + b' + c' + d')(a + b + c + d)
Спасибо за любую помощь или вклад!
для 1:
Просто сравните, для какой из 2^4=16 входных комбинаций обе части уравнения оцениваются как истинные:
w y z x
0 0 0 1
0 0 1 1
0 1 0 0
0 1 0 1
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1
на 2:
Вы можете сделать то же самое, что и для 1., или умножить обе скобки, удалить ложные термины, такие как a'a, удалить повторяющиеся термины и сравнить обе стороны почленно.
Обе стороны фактически равны. Они оцениваются как истинные для следующих входных комбинаций:
a b c d
0 0 1 0
0 1 0 0
0 1 1 0
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 0 1 1
1 0 0 1
1 0 1 1
1 1 0 1
