用公式求P→(P∧(Q→R))
问题描述：
用公式求P→(P∧(Q→R))
求主析取范式
答
用P’表示非P,
P→(P∧(Q→R))
=P’∨（P∧（Q’∨R))
=(P’∨P)∧(P’∨(Q’∨R))
=P’∨Q’∨R.