子句[图]和P经过消解以后得到A、PB、QC、~PD、~Q...
子句和P经过消解以后，得到
[图] 称为A、结合律B、吸收律C、分配律D、德摩根律...
[图]是A、附加律B、拒取律C、假言推理D、假言三段论...
谓词公式具有以下哪些特性A、永真性B、永假性C、可满足性...
个体可以是A、常量B、变元C、函数D、谓词...
百度题库旨在为考生提供高效的智能备考服务全面覆盖中小学财会类、建筑工程、职业资格、医卫类、计算机类等领域。拥有优质丰富的学习资料和备考全阶段的高效垺务助您不断前行！
