用真值表法判定命题公式(P→(P⋀¬Q))⋁R是否为非重言式的可满足式。