rmml.net
当前位置:首页 >> 离散数学(P↔Q)∪(P∩R)的主析取范式和主合取范式 >>

离散数学(P↔Q)∪(P∩R)的主析取范式和主合取范式

p∧q∧r已经是主析取范式了,这个主析取范式只有一个极小项 而它的主合取范式有7个极小项: (p∨q∨r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(¬p∨q∨¬r)

网站首页 | 网站地图
All rights reserved Powered by www.rmml.net
copyright ©right 2010-2021。
内容来自网络,如有侵犯请联系客服。zhit325@qq.com