Нужна помощь в понимании логических выражений

Я оценивал логические выражения, в одном выражении я пришел к точке, где мне пришлось оценивать ('b'c + bc), что мне не удалось сделать, шаги в ответе показывают, что это упрощено как "(b XOR c ), мне нужна помощь в понимании того, как это ('b'c + bc) оценивается как '(b XOR c)?


person Izukanji    schedule 12.02.2020    source источник
comment
как преобразовать или упростить ('b'c + bc) в (b XOR c), какое правило или закон я должен применять?   -  person Izukanji    schedule 12.02.2020
comment
Нарисуйте таблицы истинности для каждого шага по очереди; 'b'c, bc и ('b'c + bc). Затем сделайте b XOR c и, наконец, '(b XOR c). Надеюсь, вы должны увидеть результат, который вам нужен.   -  person Edd Inglis    schedule 12.02.2020
comment
XOR можно считать разными, здесь нужны равные...   -  person B. Go    schedule 12.02.2020
comment
@Izukanji, если ответы были полезны, проголосуйте за них и отметьте один как «принятый». С другой стороны, если вам нужна дополнительная помощь, укажите это в комментариях.   -  person Edd Inglis    schedule 12.02.2020


Ответы (2)


bc истинно, когда b и c оба истинны. 'b'c истинно, когда b и c оба ложны. Таким образом, их сумма истинна, когда a и b оба истинны или оба ложны.

b XOR c истинно, когда b истинно, а c ложно, или наоборот.
Альтернативно, b XOR c ложно, когда a и b оба истинны или оба ложны.

Надеюсь, поэтому вы видите, что '(b XOR c) истинно, когда a и b оба истинны или оба ложны.

КЭД.

person Edd Inglis    schedule 12.02.2020

Известно, что b XOR c представлен как (b+c)('b+'c), поэтому

'(b XOR c) = '((b+c)('b+'c)) = '(b+c)+'('b+ 'с) = 'b'c+bc

person Armali    schedule 12.02.2020
comment
FWIW, переходы от шага 2 к шагу 3 и от шага 3 к шагу 4 выше осуществляются с использованием законов ДеМоргана< /а> - person Edd Inglis; 12.02.2020