本文探讨了布尔函数的基本概念，特别是对偶性的原理。通过对偶性，将布尔表达式中的乘法替换为加法，加法替换为乘法，0替换为1，1替换为0，可以得到原函数的对偶函数。文中通过真值表证明了如果两个布尔函数相等，那么它们的对偶函数也相等。
12.1 布尔函数
这个基本和逻辑部分是类似的：
补 ： 1 ‾ = 0 , 0 ‾ = 1 ， 就 是 逻 辑 关 系 中 的 ¬ + ， O R ： 1 + 1 = 1 ， 1 + 0 = 1 ， 0 + 0 = 0 ， 就 是 逻 辑 中 的 ∨ ∙ ， A N D ： 1 ∙ 1 = 1 ， 1 ∙ 0 = 0 ， 0 ∙ 0 = 0 ， 就 是 逻 辑 中 的 ∧ 补：\overline{1}=0,\overline{0}=1，就是逻辑关系中的 \neg \\ +，OR：1+1=1，1+0=1，0+0=0，就是逻辑中的 \vee\\ \bullet，AND：1 \bullet 1=1，1 \bullet 0=0，0 \bullet 0=0，就是逻辑中的 \wedge 补：1=0,0=1，就是逻辑关系中的¬+，OR：1+1=1，1+0=1，0+0=0，就是逻辑中的∨∙，AND：1∙1=1，1∙0=0，0∙0=0，就是逻辑中的∧
对偶性
就 是 将 ⋅ 替 换 成 + ， 将 + 替 换 成 ⋅ ， 0 替 换 成 1 ， 1 替 换 成 0 。 比 如 原 式 子 ： x ⋅ ( y + 0 ) ， 其 对 偶 式 就 是 x + ( y ⋅ 1 ) ， 化 简 成 x + y 。 假 设 原 布 尔 函 数 为 F ， 则 其 对 偶 函 数 表 示 为 F d 。 就是将 \cdot 替换成 +，将 + 替换成 \cdot，0替换成1，1替换成0。\\ 比如原式子：x \cdot (y+0)，其对偶式就是 x+(y\cdot 1)，化简成 x+y。 假设原布尔函数为 F，则其对偶函数表示为 F^d。 就是将⋅替换成+，将+替换成⋅，0替换成1，1替换成0。比如原式子：x⋅(y+0)，其对偶式就是x+(y⋅1)，化简成x+y。假设
最低0.47元/天 解锁文章
扫一扫
3万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
