离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式
问题描述：
离散数学题目求主合取范式和主析取范式
求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式
答
利用等价命题公式,一步一步就写出来了： ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P) ┐((┐P∨Q)∧(┐R∨P))∨┐(┐(┐R∨┐Q)∨┐P) (┐(┐P∨Q)∨┐(┐R∨P))∨(┐┐(┐R∨┐Q)∧┐┐P) (P∧┐Q)∨(R∧┐P)∨((...