离散数学的一个等价关系不理解

来源:百度知道 编辑:UC知道 时间:2024/06/05 20:38:45
(-A∨(B∧C))∧(A∨(-B∧-C))
等价于
(-A∧-B∧-C)∨(A∧B∧C)
其中-代表“非”,我没找到这个符号,不好意思。
这个等价是怎么得到的,没有公式啊?为什么书上仅仅一步就得到了呢?
如果还没有答案的话,我只好等着14天作废了。

你学过的过程都省略了.

楼上的,我就是问问题的。
这道题先求主析取,再求主和取。
上面的就是在先求主析取的过程中一步到位的,而在后面求主和取的时候却一步步的解开的。这有点难理解啊。
我一步步的怎么也得不到结果,甚至反过来推也得不到前面的结果。
当然,是我学得不好,脑子也笨。能否请你将其中的接替步骤弄出来呢?我的头都快炸了。
我保证在加100分的奖励.谢谢。