计算题 利用消解原理证明下列推理的正确性：如果张三努力工作，那么李四或王五感到高兴；如果李四感到高兴，那么张三不努力工作；如果刘六高兴，那么王五不高兴．所以，如果张三努力工作，则刘六不高兴．

利用消解原理指出以下推理是否正确。 前提： （1）如果这里有演出，则通行是困难的； （2）如果他们按照指定的时间到达，则通行是不困难的； （3）他们按照指定时间到达了、 结论：这里没有演出。 点击查看答案

一家航空公司，为了保证安全，用计算机复核飞行计划．每台计算机都能给出飞行计划正确或有误的回答．由于计算机也可能发生故障，因此采用三台计算机同时复核的策略，由所给出的答案，再根据“少数服从多数 的原则做出判断，试将结果用命题公式表示出来，并加以简化，画出判断的逻辑电路图． 点击查看答案