离散数学问题P∨(┐P→(Q∨(┐Q→R)))P∨(┐P→(Q∨(┐Q→R)))求主分析取范式及主合取范式,并指出是否是重言式

Question

离散数学问题P∨(┐P→(Q∨(┐Q→R)))
P∨(┐P→(Q∨(┐Q→R)))求主分析取范式及主合取范式,并指出是否是重言式

Answer 1

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).
命题公式不是重言式.