求这个的主析取范式，离散数学
展开全部
Q-〉P，用析取范式表示，就是Q∨¬P，
主析取范式:所有简单合取式都是极小项的析取范式，称为主析取范式。
所有简单析取式都是极大项的合取范式称为主合取范式。
P-〉(P∧(Q-〉P))
=P-〉(P∧(Q∨¬P))
=P-〉((P∧Q)∨(P∧¬P))
=P-〉(P∧Q)
=P∨¬(P∧Q)
=P∨(¬P∨¬Q)
=1
主析取范式:所有简单合取式都是极小项的析取范式，称为主析取范式。
所有简单析取式都是极大项的合取范式称为主合取范式。
P-〉(P∧(Q-〉P))
=P-〉(P∧(Q∨¬P))
=P-〉((P∧Q)∨(P∧¬P))
=P-〉(P∧Q)
=P∨¬(P∧Q)
=P∨(¬P∨¬Q)
=1
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
