Question

离散数学大题可否

Answer 1

问：离散数学大题可否

答：您好，您的问题我已经看到了，这边马上为您解答，打字需要时间，麻烦您稍等一下哦，

答：您好，很高兴为您解答。题目看不清楚

答：您好，很高兴为您解答。题目看不清楚。。。。。。。。。。。。。

答：您好，很高兴为您解答。稍等

答：您好，很高兴为您解答。M0=(~p∨~q∨~r) M2=(~p∨q∨~r) M3=(~p∨q∨r) M4=(p∨~q∨~r) M7=(p∨q∨r)

答：命题公式为真对应的极小项的析取就是主析取范式。对于命题公式A为真的命题变元指派来说，这组成真指派一定对应一个成真的极小项，现在把这些所有成真的极小项并在一起组成的公式B，就是A的主析取范式。证明：A等价于B对于A为真的一组成真指派来说，该组指派一定含有成真的极小项，和其他成假的极小项。把这些所有的极小项做析取，无论A为真的哪组指派，都必然有一个极小项为真，其他极小项为假。析取得到A必然为真。如果A为假，在所有的极小项里，必然不包括成真的极小项，那么析取得到B也为假