北邮的离散数学题，请大神们帮忙解答

2. B。右边应该是P∨Q，用幂等律 3. C。中间两个前提利用析取三段论得到S，再和第一个前提用假言推理得到：(否定)Q，再和最后一个前提用拒取式得到P