求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式)
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/08/20 01:37:17
求下列公式的主范式.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)
同理可以求得主析取范式,过程类似上面很简单,就是重复工作而已,我就不写了.
再问: 求答案
或者等价公式也可以
先求主合取范式:
(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)
同理可以求得主析取范式,过程类似上面很简单,就是重复工作而已,我就不写了.
再问: 求答案
求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式)
离散数学求(p→q)↔r 的主析取范式.公式分解
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
求P→Q∨R的析取范式、主析取范式、主合取范式
求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式
┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,
A=(p→(q→r))↔ (r→(q→p))的主析取范式和主合取范式
P→(P∧(Q→P))的主析取范式和主合取范式
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求命题公式(P∧Q)∨R的主析取范式和主合取范式
求主析取范式(P→非Q)→R