离散数学课件-第1章-8(上).pptxVIP

离散数学Discrete Mathematics 汪荣贵 教授合肥工业大学软件学院专用课件2010.05第一页，共五十八页。第一章 逻辑与证明第二页，共五十八页。 学习内容1.1逻辑1.2 命题等价1.3 谓词和量词 1.4 对偶与范式1.5 推理规则1.6 证明导论1.7 证明的方法和策略1.8 数理逻辑的应用第三页，共五十八页。布尔函数及其表示引入 计算机和其他电子设备中的电路都有输入和输出，输入是0或1，输出也是0或1.电路可以用任何具有两个不同状态的基本元件来构造，开关和光学装置都是这样的元件。 1854年，乔治.布尔第一次给出逻辑的基本规则。1938年，克劳德.香农揭示了怎么用逻辑的基本规则来设计电路，这些基本规则形成了布尔代数的基础。 在本章中我们对布尔代数的基本性质进行了讨论，并利用布尔代数的基本元素构造的表达式来表示布尔函数，以及介绍一个能产生这些表达式的算法。 第四页，共五十八页。一、布尔函数1.引言 布尔代数提供的是集合{0，1}上的运算和规则，这个集合及布尔代数的规则还可以用来研究电子和光学开关。我们用的最多的三个布尔代数运算是补、布尔和与布尔积。 下面具体介绍一下这三种运算。1） 元素的补 用上划线加以标记，其定义为： 和第五页，共五十八页。2. 布尔和记为+或OR，它的值如下：3.布尔积记为 或AND ，它的值如下： 注意：