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

Question

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

Answer 1

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

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

Answer 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 оба true или оба false.

QED.