将双重/对偶原理应用于布尔表达式

Question

首先，我的教科书说 双重原则 正在使用带有OR的AND和AND切换OR，但是将变量本身保留为补充或未补充的形式。这与我在线阅读的 对偶原则 不同，后者声明必须互换OR和AND 以及补充每个变量。无论如何，这些只是两个不同的定义。我的问题在于如何将双重和/或对偶原则应用于以下情况：

(xy)'

双重（根据二元原则）是否

(x' + y')'? 

换句话说，外面不留在那里吗？或者，都是NOTs本身，即使它们是＆＃34;外部NOTs＆＃34;补充？这将导致：

(x' + y'). 

我很确定这是后者。

Answer 1

就像这样：

 (x' + y')' = (x')'(y')' = xy 

此处适用的规则是：

 (x + y)' = x'y', and
 (x')' = x