问答题 请证明下列逻辑表示式:A+BC=(A+B)(A+C),并请写出真值表。
【正确答案】证明逻辑等式时只需证明左右两边的真值表完令相同,分别列出两边的真值表,见表1.3.3所示。
   
表1.3.3
A B C A+BC (A+B)(A+C)
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 1 1
1 0 0 1 1
I 0 1 1 1
1 1 0 1 1

   可以看出,两边的真值表完伞相同,故等式成立。
【答案解析】