Optimization 有人能举一个比最小DNF形式短的布尔表达式的例子吗？

一般来说，最小DNF缩短了布尔表达式，但我相信在某些情况下它会加长，但我很难找到一个

从表达式长度的角度来看，我只比较规范化为最小CNF或最小DNF的表达式，怀疑每个表达式都可以通过附加正确的中性元素或其任意等价物而延长，而不改变其逻辑值

最小CNF中较短的布尔表达式和较长的最小DNF的简单示例如下所示：

(a ∨ b) ∧ c

(u ∨ v ∨ w) ∧ z

因为作为根二元关系的连词对于CNF来说是很好的，但是它迫使您将括号的内部分别乘以文字c（z）以将其更改为最小DNF

下面是它的最小DNF中显示的等效布尔表达式：

(a ∧ c) ∨ (b ∧ c)

(u ∧ z) ∨ (v ∧ z) ∨ (w ∧ z)

您还可以使用K映射查找并比较此布尔表达式的最小DNF和最小CNF，如下图所示（由latex生成）。这种方式也很明显，其中哪些更容易标记