demorgan law 可以作为分配 属性 的例子吗？

Question

如果我没记错的话德摩根定律是：

(A^B)~ = ~Av~B

而分配属性是：

(AvB)vC = (AvC)vB

我想知道德摩根法是否可以作为分配的例子属性？如果不是那为什么不呢？

Answer 1

不确定这个问题是否真的属于这里，但让我们给它一个答案。

分配式属性是

(A or B) and C <=> (A and C) or (B and C)

(A and B) or C <=> (A or C) and (B or C)

你说的是结合律

在德摩根定律中，您只有两个命题（A 和 B）和否定运算符。所以你不能说它是分配的或结合的。