我一直在评估布尔表达式，在一个表达式中，我到达了一个我必须评估('b'c + bc(的点，但我没有做到，答案中的步骤表明它被简化为'(b XOR c(，我需要帮助理解这个('b'c + bc(如何计算为'(b XOR c(？
当b和c都为真时，bc为真。 当b和c都是假时，'b'c为真。 因此，当a和b都为真或均为假时，这些的总和为真。
当b为真而c为假时，b XOR c为真，反之亦然。
或者，当a和b都为真或均为假时，b XOR c为假。
因此，希望您能看到当a和b都为真或均为假时，'(b XOR c)为真。
QED。
众所周知，b XORc 由(b+c(('b+'c(表示，因此
'(b XOR c( = '((b+c(('b+'c(( = '(b+c(+'('b+'c( = 'b'c+bc