离散数学问题:求主析取范式:1.(非p→q)→(非qVp) 2.(非p→q)^(q^r) 谢谢
离散数学问题:求主析取范式:1.(非p→q)→(非qVp) 2.(非p→q)^(q^r) 谢谢
求主析取范式(P→非Q)→R
(非P->q)->(非qVp)的主析取范式和主合取范式
构造推理证明:前提p→q,非r→p,非q,结论r
求离散数学(P→ Q)→ R主合取范式和主析取范式
离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
非(P 且 Q)=(非 P)或(非 Q)
为什么(非p或q或非r)且非p且q等价于非P且Q
离散数学求(p→q)↔r 的主析取范式.公式分解
离散数学 (p∧q)→ r
普通逻辑 非p →q 的矛盾式为非p ^非q 这是怎么推出来的