求主析取范式（P→非Q）→R

来源：学生作业帮编辑：灵鹊做题网作业帮分类：数学作业时间：2024/05/12 21:51:23

求主析取范式
（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)∨(┐ P∧Q∧R)∨( P∧┐Q∧R)∨( ┐P∧┐Q∧R)
再问：由第二行到第三行跳得太快了，有点看不懂。可以再细写一点吗？麻烦了。
再答： ( ┐P∧┐Q)等值于( P∧Q∧R)∨(P∧Q∧┐R) R等值于 ( P∧Q∧R)∨(┐ P∧Q∧R)∨( P∧┐Q∧R)∨( ┐P∧┐Q∧R)
再问：明白了，谢谢！

求主析取范式（P→非Q）→R 离散数学问题：求主析取范式：1.(非p→q)→(非qVp) 2.(非p→q)^(q^r) 谢谢 ┐（┐R→P）∧P∧Q如何求主合取范式与主析取范式, 求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）求P→Q∨R的析取范式、主析取范式、主合取范式求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式麻烦求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用, A=(p→(q→r))↔ (r→(q→p))的主析取范式和主合取范式求离散数学(P→ Q)→ R主合取范式和主析取范式 P→Q∧R的合取范式和主析取范式? P→（P∧（Q→P））的主析取范式和主合取范式离散数学求（p→q）↔r 的主析取范式.公式分解