求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）

求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）
求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）

求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）
用真值表,很容易得出结果
或者等价公式也可以
先求主合取范式：
（P→Q）↔ R(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)
(P∨R)∧(﹁Q∨R)∧(﹁P∨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)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R)
同理可以求得主析取范式,过程类似上面很简单,就是重复工作而已,我就不写了.