离散数学实验指导书及其答案.pdfVIP

实验一 命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌 握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例： 用化简命题逻辑公式的方法设计一个 5 人表决开关电路， 要求 3 人以上 （含 3 人）同意则表决通过（表决开关亮） 。 【实验原理和方法】 （1）写出 5 人表决开关电路真值表， 从真值表得出 5 人表决开关电路的主合取公式 （或 主析取公式） ，将公式化简成尽可能含五个基本联结词最少的等价公式。 （2 ）上面公式中的每一个联结词是一个开关元件，将它们定义成 C 语言中的函数。 （3）输入 5 人表决值（ 0 或 1），调用上面定义的函数，将 5 人表决开关电路真值表的 等价公式写成一个函