归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。

A.等价式

B.永真蕴涵式

C.置换

D.合一

A.第二类水动机是不可能造出来的

B.把热从低温物体传到高温物体,不可能不引起其他变化

C.一切自发过程都是热力学不可逆过程

D.功可以全部转化为热,但热一定不能全部转化为功

A.其它三个选项都正确

B.逻辑运算可以被认为是基于0和1的运算，其本质是一种基于位的二进制运算

C.形式逻辑的命题与推理可以基于0和1的运算来实现

D.硬件设计的基础理论--布尔代数，即是将逻辑与0和1的运算结合起来的一种数字电路设计理论

E.人的基本思维模式和计算机的0和1运算是相通的