离散数学第三章(上).ppt

* 计算机应用技术研究所 * * * 执行X的条件可化简为： (Ａ∧Ｂ)∨(?Ａ∧Ｂ) ?Ｂ∧(Ａ∨ ?Ａ) ?Ｂ 执行Y的条件可化简为： (Ａ∧?Ｂ)∨(?Ａ∧?Ｂ) ? ?Ｂ∧(Ａ∨?Ａ) ? ?Ｂ T X Y End Start B F 程序可简化为：If B then X else Y 命题公式的应用 * 计算机应用技术研究所 * * * 4 一家航空公司，为了保证安全，用计算机复核飞 行计划。每台计算机能给出飞行计划正确或有误 的回答。由于计算机也有可能发生故障，因此采 用三台计算机同时复核。由所给答案，再根据 “少数服从多数”的原则作出判断，试将结果用 命题公式表示，并加以简化，画出电路图。 命题公式的应用 * 计算机应用技术研究所 * * * 设C1，C2，C3分别表示三台计算机的答案。 S表示判断结果。 真值表和联结词的定义，S可用C1，C2，C3所对应的命题公式表示出来，可画出该命题公式所对应的电路图。 C1 C2 C3 S 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 命题公式的应用 * 计算机应用技术研