离散数学的一个等价关系不理解（－A∨(B∧C)）∧（A∨(-B∧-C))等价于（－A∧-B∧-C)∨(A∧B∧C)其中-代表“非”，我没找到这个符号，不好意思。这个等价是怎么得到的，没有公式啊？为什么书上仅仅一步就得到了呢？如果还没有答案的话，我只好等着14天作废了。
2019-04-15
离散数学的一个等价关系不理解
（－A∨(B∧C)）∧（A∨(-B∧-C))
等价于
（－A∧-B∧-C)∨(A∧B∧C)
其中-代表“非”，我没找到这个符号，不好意思。
这个等价是怎么得到的，没有公式啊？为什么书上仅仅一步就得到了呢？
如果还没有答案的话，我只好等着14天作废了。