请学离散的大师们帮帮忙啊!

证明1.P∨Q,P→R,Q→S=>R∨S2.A→(C∨B),B→┐A,D→┐C=>A→┒D3.P→Q,┐Q∨R,┐R,┐S∨P=>┐S4.┐B∨D,(E→┐F)→┐D,┐... 证明
1.P∨Q, P→R, Q→S => R∨S
2.A→(C∨B),B→┐A,D→┐C => A→┒D
3.P→Q,┐Q∨R,┐R,┐S∨P=>┐S
4.┐B∨D,(E→┐F)→┐D,┐E=>┐B
5.A→(B→C),C→(┐D∨E),┐F→(D∧┐E),A=>B→F
展开
 我来答
MAPAOCILANG
2007-06-29 · 超过24用户采纳过TA的回答
知道答主
回答量:140
采纳率:0%
帮助的人:72.6万
展开全部
若干年前学的 ,已经忘了 呵呵 来混2分
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式