用真值表法求下列命题公式的主析取范式和主合取范式。
范式,真值,命题
已帮助 人
-
首先列出命题公式
的真值表为下表。

由真值表可知,
的主析取范式为:
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)
