为什么化简后布尔表达式括号间不能用AND分隔,与卡诺图分组规则有何关联?
请查看表达式*(A ∧ D) ∨ (B ∧ D) ∨ (A ∧ ¬B ∧ C ∧ D)*对应的卡诺图:
该卡诺图被划分为2个各包含4个单元格的分组,最终得到化简表达式*(B ∧ D) ∨ (A ∧ D)*,如下所示:
这符合卡诺图的分组规则:
分组必须包含1、2、4、8个单元格,即通用规则为分组大小为2的n次幂
但如果我不遵循2^n规则,将6个单元格划分为一个分组:
最终得到的化简表达式为:
(A ∨ B) ∧ D
我多次进行同类测试,甚至将卡诺图(Karnaugh map)中可合并的8单元格分组拆分为6和4的组合,最终得出结论:当采用6个单元格等非2n大小的分组时,得到的布尔表达式括号间的连接运算符为`∧`(AND),而采用符合规则的2n大小分组时,括号间的连接运算符为∨(OR)。
因此非2^n大小的分组会产生括号间的AND分隔,这是否意味着布尔表达式的括号间不能使用AND分隔?
引申而言,这是否就是卡诺图必须按2^n大小分组的原因?
备注
在线布尔化简工具也全部采用OR作为括号间的分隔符,如下所示:
内容的提问来源于stack exchange,提问作者Montresor
相关产品推荐
相关产品推荐

