结构推理 通过求主合取范式,找出使命题公式(P∨Q)→R的真值为F(假)的真值指派.
【正确答案】(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).
【答案解析】主合(析)取范式又称为特异合(析)取范式.