离散数学题目求主合取范式和主析取范式

问题描述:

离散数学题目求主合取范式和主析取范式
求 ┐((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)∨((...