{0,1},∨，∧,ˉ,0,1上的布尔表达式.pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * 布尔表达式 定义17.12 设B,∨, ∧,ˉ,0,1是一个布尔代 数，则 ① B中任何元素是一个布尔表达式； ② 任何变元是一个布尔表达式； ③ 如果e1和e2是布尔表达式，则?e1，(e1∨e2) ， (e1∧e2)都是布尔表达式； 只有经过有限次使用②和③得到的符号串才是布尔表达式。 * 计算机学院 * 例17-5.1 {0，1，2，3},∨，∧,ˉ,0,1是一个布尔代数，那么 都是布尔表达式，并且分别称为含有单个变元 的布尔表达式，含有两个变元 的布尔表达式和含有三个变元 的布尔表达式。 * 计算机学院 * 定义17.13 一个含有n个相异变元的布尔表 达式，称为含有n元的布尔表达式。记为 E(x1，x2，…，xn），其中x1，x2，…，xn为变元。 定义17.14 布尔代数B,∨, ∧,ˉ,0,1上的 一个含有n元的布尔表达式E(x1，x2，…xn）的值 是指：将B中的元素作为变元xi(i=1，2， …n)的 值来代替表达式中相应的变元（即对变元赋值） ，从而计算出表达式的值。 * 计算机学院 * 例17-5.2 设布尔代数{0，1},∨, ∧,ˉ,0,1上的布尔表达式为 如果变元的一组赋值为 那么便可求得 * 计算机学院 * 定义17.15 设布尔代数B,∨, ∧,ˉ,0,1 上的两个n元的布尔表达式为E1(x1，x2，…xn） 和 E2(x1，x2，…xn），如果对于n个变元的任意 赋值xi= ， ∈B时均有 则称这两个布尔表达式是等价的。记作 E1(x1，x2，…xn）=E2(x1，x2，…xn） * 计算机学院 * 对于布尔代数B,∨，∧,ˉ,0,1上的任何一个布尔表达式。由于运算∨，∧,ˉ在B上的封闭性，所以对于任何一个有序n元组x1，x2，…xn，xi∈B，可以对应着一个表达式E(x1，x2，…xn）的值，这个值必属于B。由此可见，我们可以说布尔表达式E(x1，x2，…xn），确定了一个由Bn到B的函数。 * 计算机学院 * 可以验证，在布尔代数B,∨, ∧,ˉ,0,1 上的布尔表达式 定义了书上表17-1中的从{0，1}3到{0，1}的函 数。 然而，是否任意一个从Bn到B的函数都一定 能列出一个在布尔代数B,∨，∧,ˉ,0,1上的 布尔表达式呢？这个问题的回答是否定的。 * 计算机学院 * 定义17.16 设B,∨, ∧,ˉ,0,1是一个布尔 代数，一个由Bn到B的函数f，如果它能够用 B,∨, ∧,ˉ,0,1上的n元布尔表达式来表示， 那么，这个函数f就称为布尔函数。 定理17.17 对于两个元素的布尔代数 {0,1},∨，∧,ˉ,0,1，任何一个从{0，1}n到 {0，1}的函数都是布尔函数。 * 计算机学院 * 证明：含有n个变元x1，x2，…，xn的布尔表达式，如果它有形式 ，其中 是xi或 ?xi中任一个，则我们称这个布尔表达式为小项。 一个在{0,1},∨，∧,ˉ,0,1上的布尔表达式， 如果它能表示成小项的并，则称这个布尔表达式 为析取范式。对于一个从{0，1}n到{0，1}的函数 ，先用那些使函数值为1的有序n元组分别构造小 项 。 * 计算机学院 * 其中 * 计算机学院 * 再由这些小项所组成的析取范式，它就是原 来函数所对应的布尔表达式。 类似地，含有n个变元x1，x2，…，xn的布尔 表达式，如果它有形式 其中 是xi或?xi中任一个，则我们称这个布尔表达式为大项。 一个在{0,1},∨，∧,ˉ,0,1上的布尔表达式，如果它能表示成大项的交，则称这个布尔表 达式为合取范式。对于一个从{0，1}n到{0，1} 的函数，先用那些使函数值为1的有序n元组分别 构造大项 。其中 * 计算机学院 * 再由这些大项所组成的合取范式，它就是 原来函数所对应的布尔表达式。 例17-5.3 讨论下表所给出的函数f的析取范式 和合取范式。 * 计算机学院 * f 0，0，0 1 0，0，1 0 0，1，0 1 0，1，1 0