罗辑题！

2005-04-01 11:13:54 238 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

在innovus中通过ecoAddRepeater插入buffer/inverter 在innovus中，我们可以通过ecoAddRepeater命令来在net上添加单个buffer或者成对的inverters。ecoAddRepeater命令的行为由命令setEcoMode控制。选项说明 -cell <list of cells> 指定插入的buffer或者inverter的类型。 -net <netName> | -term <inst1/term1 inst2/term2 ...> -net指定需要插入buffer/inverters的阅读详情

5位跳水高手将参加10米高台跳水决赛，有好事者让5人据实力预测比赛结果。
A选手说：B第二，我第三；
B选手说：我第二，E第四；
C选手说：我第一，D第二；
D选手说：C最后，我第三；
E选手说：我第四，A第一！

怎么解啊！
各位帮帮忙写出程序来！小弟太笨了，不知怎么解！

...全文

华为擎云W515 PGUV-WBY0安装银河麒麟V10全流程解析本文详细解析了华为擎云W515 PGUV-WBY0安装银河麒麟V10系统的全流程，包括准备工作、镜像下载与校验、启动盘制作、BIOS设置、安装过程关键选择、系统初始化及常见问题排查。特别针对ARM架构设备提供了实用技巧，帮助用户顺利完成国产化系统的部署与优化。阅读详情

chenyec

其它技术问题 3,881 成员 9,044 内容

+ 关注 + 加入社区

切换为时间正序

xxxdg 2005-04-02

打赏
举报

其中定理什么的我就不说了，

有几步形如：

(A3 & E4 & !B2 & C1 & !D2 ) 由于按此式 B 和 D中必有一个是2，因此上式为矛盾式，真值为0 ，即可消掉

cat_dog 2005-04-02

打赏
举报

我来分析:
由 "A选手说：B第二，我第三；" 假设前面一句对的即 b = 2; a 不等 3 ..........(1)

B选手说：我第二，E第四 } 推出
} ======> b = 2; e不等4 ...........(2)
b = 2 }

C选手说：我第一，D第二；}
} =======>c = 1;D不等2
b = 2 }

D选手说：C最后，我第三；}
} ========> d = 3
c = 1 }

E选手说：我第四，A第一！}
} =======>e = 4 这与前面的(2)式中"e不等4"相矛盾,固假设不成立
c = 1 }

所以b 不等于 2; a = 3

D选手说：C最后，我第三；}
} ==========> c= 5, d 不等3
a = 3 }

B选手说：我第二，E第四 }
} ===========> e = 4
b 不等于 2 }

C选手说：我第一，D第二}
} ====> d = 2
c = 5 }

a = 3 }
c = 5 }====> b = 1
d = 2 }
e = 4 }

E选手说：我第四，A第一！ e = 4 ,a = 3 刚好符合

宗上所述: a = 3,b = 1,c = 5,d = 2,e = 4

xxxdg 2005-04-02

打赏
举报

推理逻辑啊,
离散数学比较常规的题目,多看看书,呵呵.。
以下命题：以字母表示选手，数字表示名次，比如B2，表示B第二
逻辑词不好输入，and 用 & ，or 用 | ， Not 用 !
根据题意，各人的描述均有一半成立，有：

A: (B2 & !A3) | (!B2 & A3) <==> (!B2 | !A3) & ( B2 | A3)
B: 前面省略 <==> (!B2 | !E4) & ( B2 | E4)
C: (!C1 | !D2) & (C1 | D2)
D: (!C5 | !D3) & (C5 | D3)
E: (!E4 | !A1) & (E4 | A1)

A & B & C & D & E

先两两联立简化，过程省略

最后结果：

A3 & E4 & D2 & C5 & B1

cocoy 2005-04-02

打赏
举报

嗯,这个可以看成是一个迷宫问题,如果在程序里面做的话可以用递归.

chenyec 2005-04-01

打赏
举报

是的，是的，不好意思忘了打上去！

xxxdg 2005-04-01

打赏
举报

这个题目应该是说各人均说对一半吧

罗辑题！

相关推荐