【发布时间】:2023-03-04 15:59:01
【问题描述】:
首先,我的教科书说 双重原则 是用 AND 转换 OR 和用 OR 转换 AND,但将变量本身保留为互补或非互补形式。这与我在网上阅读的关于 对偶原则 的内容不同,后者指出您必须交换 OR 和 AND 以及个体变量。无论如何,这只是两个不同的定义。我的问题在于如何将对偶和/或对偶原则应用于以下情况:
(xy)'
对偶(根据对偶原理)会是
(x' + y')'?
换句话说,外面不是呆在那里吗?或者,即使它们是“外部非”的补充,它们本身是否都是非?这将导致:
(x' + y').
我很确定是后者。
【问题讨论】: