离散数学题，求解答。一定要写清楚，谢谢。

Answer 1

　　2. p or q→r <==> ┐(p or q) or r
　　<==> (┐p and ┐q) or r<==> (┐p or r) and (┐qor r)
　　<==> (┐p or (q and ┐q) or r) and ( (p and ┐p) or ┐qor r)
　　<==> (┐p or q or r) and (┐p or ┐q or r) and ( (p or ┐q or r) and ( ┐p or ┐q or r)
　　<==> (┐p or q or r) and (┐p or ┐q or r) and (p or ┐q or r)
　　<==> M2 and M4 and M6 （主合取范式）
　　<==> m0 or m1 or m3 or m5 or m7 （主析取范式）

　　3. 证明
　　(1) ┐s 前提引入
　　(2) ┐s → ┐r 前提引入
　　(3) ┐r (1)(2)假言推理
　　(4) (p and q) → r 前提引入
　　(5) ┐(p and q) (3) (4)拒取式
　　(6) ┐p or ┐q (3) (4)拒取式
　　(7) p 前提引入
　　(8) ┐q (6)(7) 析取三段论
得证。

　　给多了，就写这两题，其余自己做。

追问

能不能都给了，我要会我发帖子干嘛。

追答

　　做题时学生的天职，“ 天职” 知道吗？我也没学过这门课，安排了课不上不行，完全是边自学边上课，说明这门课并不难，动手就会了。
　　你自己试试？

追问

这是夜大的题，成人的，根本没学。。。一点都不会，上课也没去过。。

追答

我们的起点一样，看书----做题----再看书----再做题----会了----可以当老师了。

追问

还能写不。能写等下 采纳 追加给分。

追答

本题已经写完。