逻辑函数真值表、化简和逻辑图示例：Z(A,B,C) = AB + ¬AC + BC

真值表

| A | B | C | AB | ¬AC | BC | ¬AC + AB + BC | |---|---|---|---|---|---|---| | 0 | 0 | 0 | 0 | 1 | 0 | 1 | | 0 | 0 | 1 | 0 | 0 | 0 | 1 | | 0 | 1 | 0 | 0 | 1 | 0 | 1 | | 0 | 1 | 1 | 0 | 0 | 1 | 1 | | 1 | 0 | 0 | 0 | 1 | 0 | 1 | | 1 | 0 | 1 | 0 | 0 | 0 | 1 | | 1 | 1 | 0 | 1 | 0 | 1 | 1 | | 1 | 1 | 1 | 1 | 0 | 1 | 1 |

化简过程

Z(A,B,C) = AB + ¬AC + BC = AB + ¬AC(B + ¬B) + BC(A + ¬A) = AB + ¬ACB + ¬AC¬B + ABC + ¬ABC = AB(1 + ¬C) + ¬AC¬B + ABC + ¬ABC = AB + ¬AC¬B + ABC + ¬ABC = AB + ¬AC¬B + C(B + ¬B) = AB + ¬AC¬B + C

逻辑图

（见图片）