问题标题：
离散数学问题：求主析取范式：1.(非p→q)→(非qVp)2.(非p→q)^(q^r)谢谢并求主合取范式1.非(q→非p)^非p2.(p^q)V(非pVr)谢谢了!
问题描述：
离散数学问题：求主析取范式：1.(非p→q)→(非qVp)2.(非p→q)^(q^r)谢谢
并求主合取范式1.非(q→非p)^非p
2.(p^q)V(非pVr)
谢谢了!
黄玢回答：
1,非（q->非q)^非p=非（非qV非p)^非p=q^(p^非p)=q^F=F
2,.(p^q)V(非pVr)=(p^q)V非pVr=(pV非p)^(qV非p)Vr=qV非pVr
我不是很会打数学符号,
点击显示
数学推荐
热门数学推荐