通过求主合取范式,找出使命题公式(P∨Q)→R的真值为F(假)的真值指派...
发布网友
发布时间:2024-02-10 00:03
我来回答
共1个回答
热心网友
时间:2024-08-09 02:41
【答案】:(P∨Q)→R=¬(P∨Q)∨R=(¬P∧¬Q)∨R
=(¬P∨R)∧(¬Q∨R)
=((¬P∨R)∨(Q八¬Q))∧((¬Q
∨R)∨(P∧¬P))
=(¬P∨Q∨R)∧(¬P∨¬Q∨R)∧
(P∨¬Q∨R)∧(¬P∨¬Q∨R)
=(¬P∨Q∨R)∧(¬P∨¬Q∨R)
∧(P∨¬Q∨R).
使其值为F的真值指派是(P:T,Q:F,R:F)或(P:T,Q:T,R:F)或(P:F,Q:T,R:F).主合(析)取范式又称为特异合(析)取范式.