问题标题:
【离散数学问题P∨(┐P→(Q∨(┐Q→R)))P∨(┐P→(Q∨(┐Q→R)))求主分析取范式及主合取范式,并指出是否是重言式】
问题描述:
离散数学问题P∨(┐P→(Q∨(┐Q→R)))
P∨(┐P→(Q∨(┐Q→R)))求主分析取范式及主合取范式,并指出是否是重言式
刘新帅回答:
P∨(┐P→(Q∨(┐Q→R)))
P∨(P∨(Q∨Q∨R))
P∨(P∨Q∨R)
P∨Q∨R
这是命题公式的主合取范式,即∏(0),所以主析取范式是∑(1,2,3,4,5,6,7).
命题公式不是重言式.
查看更多