离散数学 第12讲 布尔表达式
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一、布尔表达式
定 义 5 布 尔 代 数 <B,∨,∧,ˉ, 0, 1> 上 两 个 n 元 布 尔 表 达 式
f1(x1,x2,…,xn)和f2(x1,x2,…,xn),如果对n个变元的任意指派, f1和f2的值 均相等,则称这两个布尔表达式是等价的或相等的。记作
f1(x1,x2,…,xn)=f2(x1,x2,…,xn)。
( e1 ),(e1∨e2),(e1∧e2)也是布尔表达式; 上的布尔表达式定
义如下:
(4) 有限次应用规则1-3形成的字符串是布尔表达式。
一、布尔表达式
定义3 一个含有n个相异变元的布尔表达式,称为n元 布尔表达式, 记为E
(x1,x2,…,xn)或f (x1,x2,…,xn), 其中x1, x2,…, xn是式中可能 含有的布尔变元。
2n
n
一个 n 元布尔表达式化成等价的主析取范式, 主要应用德· 摩根定
律等,其方法与“数理逻辑”中化成主析取范式的方法完全一致。
德· 摩根定律
非(P 且 Q)=(非 P)或(非 Q) 非(P 或 Q)=(非 P)且(非 Q)
平行地可讨论极大项和主合取范式:
二、布尔表达式主范式与布尔代 数
定义8 给定n个布尔变元x1,x2,…,xn, 表达式
定义7 具有如下形式
a0m0 a1m1 a2n 1m2n 1
的布尔表达式称为主析取范式。这里mi是极小项,αi是布尔常元。 (i=0,1,2,…2n-1)。
二、布尔表达式主范式与布尔代 数
定义7中的主析取范式个数: 因为αi有|B|种取法,故不同的主析取
范式有 B 个。特别, B={0,1}时有 2 2 个。 任何一个n元布尔表达式都唯一地等价于一个主析取范式。把
在实践上 ,如果能有限次应用布尔代数公式 , 将一个布尔表达式 化成另一个表达式,就可以判定这两个布尔表达式是等价的。
Leabharlann Baidu
例 4 在布尔代数 <{0,1},∨,∧,ˉ> 上的两个布尔表达式 f1(x1, x2,
x3)=(x1∨x2)∧(x1∨x3)和f2(x1, x2, x3)=x1∨(x2∧x3)是等价的。
是<B,∨,∧,ˉ>上的一个恒等式.
那么如何判定<B,∨,∧,ˉ>上的两个表达式是恒
等式? <B,∨,∧,ˉ>
一、布尔表达式
设<B,∨,∧,ˉ>是一个布尔代数,现在考虑一个 从Bn到B的函数。 设B={0, 1}, 下表给出了一个从B3到B的函数f。
一、布尔表达式
设B={0,a,b,1}, 右
表给出
(a) 取x1=a, x2=b,则例2中的f3的值是
f3=(1∧a)∨b=a∨b=1
(b) 设布尔代数<{0,1},∨,∧,ˉ, 0, 1>上的表达式
f(x1,x2,x3)= ( x1 x2 ) ( x1 x2 ) ( x2 x3 ) , 则 f (1,0,1)=(0∧1)∧(0∨1)∧(0 1) =0∧1∧0=0
n
B
n
2n
2n
(1) B={0,1}时,从Bn到B的函数共有 2 2 个, 主析取范式也有 2 2 个,恰
n n
好每一主范式代表一个函数。所以 , 在 B={0,1} 时 , 每一函数均
可用布尔表达式表示. (2) B≠{0,1}时,例如B={0,a,b,1}时,从Bn到B的函数共有
2n
4 个,但主析
例2 设<{0, a, b, 1}, ∨, ∧,ˉ, 0, 1>是布尔代数,则
都是这个布尔代数上的布尔表达式。
一、布尔表达式
定义4 布尔代数<B,∨,∧,ˉ>上的布尔表达式f(x1,x2,…,xn)的值是
指 : 将 B 的元素作为变元 xi(i=1,2,…,n) 的值而代入表达式以后 ( 即对
变元赋值),计算出来的表达式的值。 例3
4n
取范式仍只有 4 个,所以,不是每一函数都可用布尔表达式表示。
三、布尔函数
定义10 设<B,∨,∧,ˉ, 0, 1>是一个布尔代数,一个从Bn到B的函数, 如果能够用该布尔代数上的 n 元布尔表达式表示 ,那么这个函数就 称为布尔函数.
小结: 本节重点介绍了布尔表达式、布尔表达式的主析取 范式、主合取范式及布尔函数的概念。 重点: 掌握布尔表达式的主析取范式、主合取范式的求法。
( a x1 x1 ) (a x1 x2 ) (b x1 x2 ) ( a x1 ) (b x1 x2 ) ( a x1 x2 ) ( a x1 x2 ) (b x1 x2 ) ( x1 x2 ) ( a x1 x2 ) m3 ( a m1 )
作业: P253
习题7.4 16
谢谢同学们!
17
的布尔表达式称为主合取范式。这里Mi是极大项 , αi是布尔常元 , (i=0,1,2,…,2n-1) 。 任何一个n 元布尔表达式都唯一地等价于一个主合取范式。2n 个极大项最多只能造出 B 个不同的主合取范式。所以,一个n元布 尔表达式必等价于这 B 个主合取范式之一。
2n 2n
二、布尔表达式主范式与布尔代 数
我们约定运算“∨”、“∧”和“ˉ”的优先级依 f1=a f2=0∧x f3=(1∧x1)∨x2 次为“ˉ”,“∧”, f4= ((a b) ( x1 1 x2 )) (( x1 x2 )) “∨”。这样一来, 布尔表达式中的某些圆括号可以 f5= ((a b) ( x1 x2 )) ((x1 x3 )) 省略, 约定类似于 f6= x1 ((x1 x2 ) x3 ) 命题公式。
例5 将布尔代数<{0, a, b, 1},∨,∧,ˉ, 0, 1>上的布尔表达式
f ( x1 , x2 ) (a x1 ) ( x1 x2 ) (b x1 x2 )
化成主析取范式。
f ( x1 , x2 ) (a x1 ) ( x1 x2 ) (b x1 x2 )
称为极大项。这里 ~ xi 表示xi或
~ x1 ~ x2 ~ xn
xi 两者之一。
显然,有2n个不同的极大项, 分别记为M0, M1, M2 ,…, M 2n 1. 定义9 具有如下形式
(a0 M 0 ) (a1 M1 ) (a2n 1 M 2n 1 )
离散数学(二)
1
布尔表达式
主要内容:
11 布尔表达式 2
布尔表达式主范式与布尔代数
3
布尔表达式与布尔代数的关系
重点和难点:
重点: 布尔表达式的定义 难点: 布尔表达式主范式
一、布尔表达式
问题的引入:
我们知道在布尔代数<B,∨,∧,ˉ>上, “∨”关于
“∧”是可分配
的, 所以
a∨(b∧c)=(a∨b)∧(a∨c)
三、布尔函数
布尔代数<B,∨,∧,ˉ, 0, 1>上的任一n元布尔表达式f(x1,x2,…,xn), 对n个变元的每一指派, 都可得到相应的表达式的值, 这值属于B。 所以, f(x1,x2,…,xn) 可视为 Bn 到B 的函数。但n 个变元的主析取范式 (或主合取范式)最多只有 B 个,所以,至多只能代表 B 个不同的函 数。从B 到B的函数共有 B 个。现分情况讨论:
了一个从B2到B的
函数。
一、布尔表达式
下面我们试图用别的方法来描述函数 , 使之具有紧 凑的形式.为此先引
入布尔表达式的概念。
定义 1 设<B,∨,∧,ˉ>是一个布尔代数 ,取值于 B中元
素的变元称为布尔
变元; B中的元素称为布尔常元。 定义 设 <B,∨,∧,ˉ> 是一个布尔代数,这个布尔代数 (3) 如果2 e1和 e2是布尔表达式 ,则
二、布尔表达式主范式与布尔代 数
定义5给出的等价 (或相等 )关系将n元布尔代数表达式集合划分
成等价类,处于同一个等价类中的表达式都相互等价(或相等) 。可
以证明当|B|有限时,等价类数目是有限的。为此,我们考察以下定义。
定义6 给定n个布尔变元x1,x2,…,xn, 表达式
1 x 2 x n x 称为极小项。这里 ~ xi 表示xi或 xi 两者之一。