南邮离散数学第6章格与布尔代数.pptVIP

4、 布尔函数 在 A，∨，∧，ˉ布尔代数中，a,b∈A， E(x1,x2,……xn) ∵ a∨b∈A；a∧b∈A； ∈A ∴Ex1,x2,…xn∈A ∴n元布尔表达式是An→A的函数 若函数An →A是n元布尔表达式 则为布尔函数. 对 A，∨，∧，ˉ，是否任一An→A的函数都是布尔表达式？ 不一定！ 6-5 布尔表达式 5、布尔表达式的析取，合取范式： 在命题逻辑中，我们讨论了任一命题公式的主析取，主合取范式。主析取范式是小项的并，主合取范式是大项的交，即将命题公式规范化；类似地，我们引进布尔小项，布尔大项。 （1）布尔小项： 其中 是xi或 （2）布尔大项： 其中 是xi或 大项，小项各有2n个，用m0，m1，…… 表示小项 用M0，M1，…… 表示大项 6-5 布尔表达式 （3）析取范式：是形如下列的布尔表达式 m0 = m1 = … = 其中 （i=0,1,……, ）∈A，mi为布尔小项（类似于命题逻辑中的主析取范式） 6-5 布尔表达式 （4）合取范式：是形如下列的布尔表达式，其中Mi为布尔大项 ∵ ∈A ∴ 有|A|种取法 因而共有 个不同的析取范式和合取范式 而f：A→B有 个不同函数 ∴f： →A 有 个不同函数 6-5 布尔表达式 定理：布尔代数 A，∨，∧，ˉ上的任一布尔表达式E(x1,x2,……xn)都唯一地等价于某个析取范式，或者唯一地等价于某个合取范式 因而由此定理，我们已知共有 个不同的析取范式。 ∴共有　　个不同的布尔表达式 / 布尔函数。 ∴An→A的布尔函数只有　　个。 而函数有 个不同函数。 故只有当|A|=2时，从An→A的任一函数是布尔函数。 |A|2时，并非任一An→A的函数都是布尔函数。（∵ ）。 6-5 布尔表达式 由上述定理可有如下结论： 定理：布尔代数{0，1}，∨，∧，ˉ上的任一 →{0,1}的函数是布尔函数 此时，不同布尔表达式有 　个 ， 　→{0,1}函数有 个 而|A|2时，有些函数不是布尔函数！ 例：A＝{0，1，2，3}布尔代数A，∨，∧，ˉ g：A2→A的函数，P262表6－5.2。 证明g不是布尔函数。 证：|A|＝42，g：A2→A假设g是布尔函数。 6-5 布尔表达式 ∴g一定可写作某个析取范式。 g是A2 → A的函数，二元表达式 根据条件 6-5 布尔表达式 应用2：线路设计中，开关代数{断,合},并,串,反向也是布尔代数，含两个元素，因而任一复合命题均可用{F,T}, ∨ ,∧,- 上的布尔函数来表示 任一开关线路均可用{断,合},并,串,反向上的布尔函数来表示。这些均是布尔函数的特例。 应用1：命题逻辑可用布尔函数{F,T}, ∨ ,∧,- 来表示，含两个元素。命题变元 ––布尔变元，复合命题––布尔表达式 6-5 布尔表达式 将布尔表达式化为析取范式的方法： 1)?首先利用 ＝ ，将求补运算深入到每个布尔变元或布尔常元 2) 利用可交换性，结合性，分配性，化原式为( ) ∨( ) ∨……∨( )，其中（）是 ， 是xi或 形式（p≤n） 3)将某个（）中没有出现的布尔变元xi，用 　 补足，再用分配律，使之化为所需析取范式 合取范式类似 6-5 布尔表达式 例：{0，a，b，1}，∨，∧，ˉ f(x1,x2)=（a∧x1∧（ ））∨（b∧x2） 求f（x1，x2）的析取范式。 解：f（x1，x2）＝（a∧x1∧（　　　））∨（b∧x2） ＝（a∧x1∧ ）∨（a∧x1∧x2）∨（b∧x2） ＝（a∧x1∧x2）∨（b∧x2） ＝（a∧x1∧x2）∨（b∧x2∧（