求P∨( P→(Q∨(Q→R)))主合取与主析取范式
求P∨( P→(Q∨(Q→R)))主合取与主析取范式
求P→Q∨R的析取范式、主析取范式、主合取范式
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,
求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式)
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式
P→(P∧(Q→P))的主析取范式和主合取范式
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式
求命题公式 ((p∨q)→r)→p 的主析取范式