(非P->q)->(非qVp)的主析取范式和主合取范式
(非P->q)->(非qVp)的主析取范式和主合取范式
P→(P∧(Q→P))的主析取范式和主合取范式
离散数学问题:求主析取范式:1.(非p→q)→(非qVp) 2.(非p→q)^(q^r) 谢谢
求主析取范式(P→非Q)→R
求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式
P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式
求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式)
求P→Q∨R的析取范式、主析取范式、主合取范式
求下列公式的主析取范式和主合取范式P∧Q
求命题公式(P∧Q)∨R的主析取范式和主合取范式
((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式
A=(p→(q→r))↔ (r→(q→p))的主析取范式和主合取范式