A（AB）A称为（）

【名词&注释】

标准化(standardization)、结合律(associative law)、合取范式(conjunctive normal form)、分配律(distributive law)

[单选题]A（AB）A称为（）

A. A、结合律
B. B、分配律^{(distributive law)}
C. C、吸收律
D. D、摩根律

查看答案&解析 查看所有试题

学习资料：

[多选题]求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。

A. 消去“蕴含”连结词
B. 减少“非”连结词的辖域
C. 对变量标准化
D. 消去存在量词

本文链接：https://www.51bdks.net/show/87pvqr.html