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

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

真值表如下:

由上表可知,命题公式为非重言式的可满足式。