用C语言解决逻辑推理问题
有关数学上的逻辑推理程序题题目警察需要侦破某重大案件,已抓获一嫌疑人,并且搜集了与该嫌疑人30项有关的证据。任何证据之间都不能互相矛盾,要一致地推出嫌疑人有罪,才能定案。但是要理清这些证据是否矛盾,对于人脑来说,太过复杂。警察恰巧学过数理逻辑,他把证据变成了15个原子命题:p1, p2, p3 …,p15,把这些原子命题之间的联系(即30项证据),描述成了30个复合命题q1, q2,q3, …,q30;他想用计算机算出以下推理是否有效:q1 & q2 & a3 ...
原创
2021-03-02 22:23:21 ·
1754 阅读 ·
0 评论