B(“)又称布尔算子。显然函数B仍然是在{0,1}集上取值。 下面引用数理逻辑中的一个定理。！，1山 定理2.任一布尔函数B(N,5心1，…1)，都可以唯一地展开成如下的析取规范形式 2N-1 51=y①B1( (2-1) 1=0 (5N5N-1…)是第i个合取项。合取项是N个因子的逻辑积，其每个因子取自！或 者1（按1=1,2…N次的次序）。例如N=4,那么(E,*9*2号1)就是i=1001（二进制 数表永)，或i=9(十进制数表示)的合取项。 (5,5,…5),■(5050写051)简记为(5，写3E:51) (2-1)式中B1是布尔函数在i点的值（显然B,或为0，或为1）。例如i=9(或i=1001), 就是5。=1，E3=0,52=0,ξ1=1的点，对应于该点的函数值就是B,即 B。=B(1,0,0,1) 符号①表示连续的或运算（又称逻辑连加）。 由定理2，可以得到以下三个推论。 推论1：如果布尔函数在N维逻辑变量空间中某一点处的值为0，则其规范展开式中没有 相应的合取项。 举例来说，若B。=0,则其析取范式中就没有(，，25：)项。 推论2：如果布尔函数在N维逻辑变量空间中所有点上的值皆为1，则其析取范式中含有 全部2N个合取项。 由此联系到定理1，可知，析取范式中的每一个合取项唯一对应于逻辑空间中的一个点。 推论3：如果一个布尔函数规范展开式如(2~1)，那么其“非”式的规范展开式如下 2N-1 B(5N,51…5)=了①B1*(5N5N1…5)1 t■0 为以后的讨论在语言的方便，特做如下的定义。 定义：如果布尔函数的析取范式中含有全部2个合取项，则称它是完备的。并把这种规 范展开式称为完备的布尔多项式。 有了以上的准备之后，下面来讨论加权布尔多项式。加权布尔多项式实质上就是定义在 N维逻辑变量空间上的实函数。 首先来定义实数a与逻辑变量u的“乘积” W =a.u 它定义为一个实函数，与逻辑变量u的对应关系如下， 如果u=1 W0, a 如果u=0 (2-2) 注意逻辑0与实0不能混淆，这里对u的唯-一要求就是它在集合{0,1}上取值，所以u可理解 成任何的逻辑表达式。例如“是几个逻辑变量的逻辑积。 设一个由实数构成的有序数组A A={80,a1…ak…} 用它的每个数分别乘布尔多项式的每个合取项，然后取代数和，这就得到一个加权布尔多项 46护 又 称布尔算子 。 显然函数 仍然是在 福。 ， 卜集上取 值 。 下面 引用数理 逻辑 中的一 个定理 。 ‘ 。 定理 任一布尔函数 如 ， 七、 ， 一 玉 七 ， 都可 以 唯一地 展开 成如下 的析取 规范形 式 ” ‘ 毛 “ ， 七 ’ ” ” ’ 如 ’ 艺④“ ’ ‘ 七七 ’ “ ’ ” 劫 ’ 一 七 七 一 … … 七 是第 个合取项 。 合取项是 个 因 子的 逻辑积 ， 其每个因子取 自如 或 者乙 按 二 ， · · … 次的 次序 。 例如 ， 那 么 息 ‘ 盯 牙 七 就是 二进 制 数表示 ， 欢 二 十进制数表示 的合取项 。 七 ‘ ， 七 ， …… 七 二 七声砚 毓 七 简记为 毛 瓦 飞 乙 一 式 中 是布 尔函 数在 点的值 显然 ，或为 ， 或为 。 例 如 或 ， 就是 七 ‘ ， 七 。 ， 七 ， 七 的 点 ， 对应 于该 点的 函数值就 是 ， 即 一 ， ， ， 符号艺曰 表示 连续的 或运算 又 称逻辑 连加 。 由定理 ， 可 以得 到以下三个推论 。 推论 如果布尔函数在 维逻辑变量 空 间 中某一 点处的值为 ， 则 其规范展开式 中没 有 相应 的 合取项 。 举例来 说 ， 若 。 二 ， 则 其析取范式 中就没 有 七 七 七 息 项 。 推论 如果布尔函数在 维逻 辑变量 空 间中所 有点上的值 皆为 ， 则 其析取 范式 中含有 全部 ” 个合取项 。 由此联系到定理 可 知 ， 析取范式 中的每一个合取项唯一 对应 于逻 辑空 间 中的一个点 。 推论 如果一个布尔函数规范 展开 式如 一 ， 那 么其 “ 非 ” 式 的规范展开 式 如下 一 七 ， 七、 ， … … 毛 艺④ “ ·’ ‘流 一 ” ” ” 孰 ’ 为 以后的讨论在语 言的方便 ， ’ 特做如下的 定义 。 定义 如果布尔函数 的析取范式 中含有全部 个 合取 项 ， 则 称它是 完备 的 。 并把这种 规 范展开 式 称为完备的布尔多项式 。 有 了以 上的 准备之后 ， 下面来讨论加权布尔多项式 。 加权布尔多项式 实质上就是 定义 在 维逻辑变 空 间 上的实函数 。 首先来定义 实数 与逻辑变 的 “ 乘积 ” 一 它定义为一个实函数 ， 与逻 辑 变量 的 对应 关系如 下 如果 如果 二 一 ‘ 八 一 ‘ 注 意逻辑 与实 不能 混淆 ， 这里 对 。 的 唯一要求就是 它 在 集合 扣 ， 上取 值 ， 所 以 可 理解 成任何的 逻辑表达式 。 例如 是几个逻辑 变量 的逻辑积 。 设一个 由实数构成的有序数组 。 ， … … ‘ … … 用 它 的每个数分别 乘布尔多项式的 每个合取项 ， 然后取代数和 ， 这就得到一个加权布尔多项