计算机数学基础电子教案教学课件作者王信峰8-2课件.PPTVIP

§8.2 布尔代数 8.2.1 布尔逻辑基础 8.2.2 逻辑函数的化简 一、逻辑变量 8.2.2 逻辑函数的化简 * * 开关的接通与断开 8.2.1 布尔逻辑基础 信号的有和无 电平的高与低 晶体管的导通与截止 例如： 用于描述这些状态的变量就是逻辑变量. 两者不同的是，布尔代数是描述客观事物间的逻辑关系. 因此，其变量与函数的取值只有两种可能性，常常用“0”和“1”来表示. 同普通代数一样，布尔代数是用字母 表示变量，用代数式描述客观事物间的关系. …… 布尔代数中定义了三种基本逻辑运算：“与”运算（逻辑与）、“或”运算（逻辑或）、“非”运算（逻辑非）. 相当于命题演算中的“或”、“与”、“非”联结词. 命题演算里的真值表、析取范式、极小项等完全可以套用在这里. 这些不再赘述. 需要有几点说明： 二、布尔代数中的基本逻辑运算 1．布尔代数及数字电路等中的运算符号记法与命题逻辑有所区别. 布尔代数中，习惯用面 表示 ， 表示 ， 表示 ，两个公式等值用 表示. 以下我们采用这一符号. 2．我们强调一下三种运算“与”、“或”、“非”的运算律： 为了便于用数学方法来研究命题之间的逻辑关系，我们需要将命题符号化。 例如： 用“1”代表一个真命题，用“0”代表一个假命题. 一个真命题，也称其真值为1，一个假命题也称真值为0. 五月一日是国际劳动节。 太阳从西边升起。 本书规定用大写英文字母 或 等表示命题。 2．强调一下三种运算“与”、“或”、“非”的运算律： （1）交换律 （2）结合律 （3）分配律 （4）德·摩根律 （5）零律 （6）同一律 （7）排中律 （8）矛盾律 （9）吸收律 例如 3．在布尔代数及数字电路等中，命题公式称为逻辑函数. 应用“与”、“或”、“非”等逻辑运算，将若干个逻辑变量 等用逻辑符号连接起来的逻辑函数记为 .式中　　　　　　称为输入变量，称　为输出变量. 若两个极小项只有一个变量为互反变量，其余变量均相同，则这样的两个极小项为逻辑相邻，并把它们称为相邻极小项，简称相邻项. 三、卡诺图 １、表示极小项的卡诺图 （1）相邻极小项 例如： 三个变量的极小项 两个相邻极小项相加可以合并为一项，消去互反变量. 卡诺图是由表示逻辑变量的所有可能组合的小方格所构成的平面图，它是一种用图形描述逻辑函数的方法. 例如： 10 11 01 00 10 11 01 00 （2）极小项的卡诺图 i）将4个变量分成两组，按下图所示相对位置分别写在图的左上角斜线的两侧. 我们以四变量 为例说明卡诺图的构成. iii）图中间16个小方块正好与4个变量的16个极小项相对应，并以极小项的编号作为小方块的编号 ii）将 与 的所有取值组合按格雷码（也叫循环码）的排列顺序分别写在图的最左边一列和最上边一行. 2．逻辑函数的卡诺图 由于卡诺图与真值表一一对应，即真值表的某一行对应着卡诺图的某一个小方格. 先给出逻辑函数的真值表，画出逻辑函数中所有变量对应的卡诺图. 然后如果真值表中的某一行函数值为“1”，卡诺图中对应的小方格填“1”；如果真值表的某一行函数值为“0”，卡诺图中对应的小方格填“0”，即可得到逻辑函数的卡诺图. 例6 已知逻辑函数 ，画出表示该函数的的卡诺图. 解: 逻辑函数 的真值表如下： 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 由真值表，根据对应编号直接填好卡诺图如下： 1 1 0 0 01 0 1 0 1 00 10 11 01 00 常用的化简方法有两种：一种公式化简法；另一种是卡诺图化简法. 逻辑式越是简单，它所表示的逻辑关系越明显，同时也有利于