大家都在看
离散数学关于求主析取范式等
最佳答案
A。全称量词对∨运算不满足分配律。
B。P(A)是A的子集的集合，A有4个子集，{a}是A的子集，a不是P(A)的元素，所以应该是“∈”。
使用蕴涵等值式、德摩根律、结合律、吸收律，
....<=> ┐(┐R∨(Q→P))∨(┐P∨Q∨R) <=> ┐(┐R∨(┐Q∨P))∨(┐P∨Q∨R) <=> (R∧(Q∧┐P))∨(┐P∨Q∨R) <=> ((R∧Q∧┐P)∨┐P)∨Q∨R) <=> ┐P∨Q∨R，这就是主合取范式，其成假赋值是100，所以，主合取范式是M4。
那么，主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7。
公式的成假赋值是100，成真赋值是000，001，010，011，101，110，111
声明：知趣百科所有作品均由用户自行上传分享，仅供网友学习交流。若您的权利被侵害，请在页面底部查找“联系我们”的链接，并通过该渠道与我们取得联系以便进一步处理。