离散数学问题：求主析取范式：1.(非p→q)→(非qVp)2.(非p→q)^(q^r) 谢谢并求主合取范式 1.非(q→非p)^非_数学解答

离散数学问题：求主析取范式：1.(非p→q)→(非qVp)2.(非p→q)^(q^r) 谢谢
并求主合取范式 1.非(q→非p)^非p
2.(p^q)V(非pVr)
谢谢了!

人气：274 ℃　时间：2020-03-26 12:01:59

解答

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
我不是很会打数学符号,