第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 = … = 其中