用真值表法求下列命题公式的主析取范式和主合取范式。

大学 范式,真值,命题 已帮助 人

用真值表法求下列命题公式的主析取范式和主合取范式。

热搜:保本点计算公式用边际贡献

答案解析

难度★★☆ 搜索
  • 首先列出命题公式的真值表为下表。
     
       由真值表可知,的主析取范式为:
       m001∨m011∨m100∨m111(¬P∧¬Q∧R)∨(¬P∧Q∧R)
       ∨(P∧¬Q∧¬R)∨(P∧Q∧R)
       又由真值可知,的主合取范式为:
       M000∧M010∧M101∧M110(P∨Q∨R)∧(P∨¬Q∨R)
       ∧(¬P∨Q∨¬R)∨(¬P∨¬Q∨R)$先列出命题公式的真值表为下表。
     
       由表可知,的主析取范式为:
       m000∨m011∨m100∨m101∨m111(¬P∧¬Q∧¬R)∨(¬R∧Q∧R)∨(P∧¬Q∧¬R)
       ∨(P∧¬Q∧R)∨(P∧Q∧R)
       其主合取范式为:
       M001∧M010∧M110(P∨Q∨¬R)∧(P∨¬Q∨R)∧(¬P∨¬Q∨R)$先列出的真值表为下表。
     
       由表可知,的主析取范式为:
       m100∨m111(P∧¬Q∧¬R)∨(P∧Q∧R)
       其主合取范式为:
       M000∧M001∧M010∧M011∧M101∧M110(P∨Q∨R)∧(P∨Q∨¬R)
       ∧(P∨¬Q∨R)∧(P∨¬Q∨¬R)
       ∧(¬P∨Q∨¬R)∨(¬P∨¬Q∨R)