离散数学 第12讲 布尔表达式.ppt

* 离散数学（二） 布尔表达式 布尔表达式 11 布尔表达式主范式与布尔代数 2 主要内容: 布尔表达式的定义 重点: 重点和难点: 布尔表达式与布尔代数的关系 3 布尔表达式主范式 难点: 一、布尔表达式 问题的引入: 我们知道在布尔代数B,∨,∧,ˉ上, “∨”关于“∧”是可分配 的, 所以 a∨(b∧c)=(a∨b)∧(a∨c) 是B,∨,∧,ˉ上的一个恒等式. 那么如何判定B,∨,∧,ˉ上的两个表达式是恒等式? B,∨,∧,ˉ 上有多少种互不恒等的表达式? 为了回答这些问题,我们先引入布尔表达式的概念, 然后通过把 表达式化为规范形式的方法来判定两个表达式是否恒等. 一、布尔表达式 设B,∨,∧,ˉ是一个布尔代数,现在考虑一个从Bn到B的函数。 设B={0, 1}, 下表给出了一个从B3到B的函数f。 一、布尔表达式 设B={0,a,b,1}, 右表给出 了一个从B2到B的函数。 一、布尔表达式 下面我们试图用别的方法来描述函数,使之具有紧凑的形式.为此先引 入布尔表达式的概念。 定义1 设B,∨,∧,ˉ是一个布尔代数,取值于B中元素的变元称为布尔 变元; B中的元素称为布尔常元。 定义2 设B,∨,∧,ˉ是一个布尔代数,这个布尔代数上的布尔表达式定 义如下: (1)单个布尔