复试面试问题真题.docxVIP

经典word整理文档，仅参考，双击此处可删除页眉页脚。

本资料属于网络整理，如有侵权，请联系删除，谢谢！

复试面试问题真题2

1、什么是析取范式和主析取范式

析取范式(DNF)是逻辑公式的标准化(或规范化)，它是合取子句的析取。作为规范形式，

它在自动定理证明中有用。一个逻辑公式被认为是DNF的，当且仅当它是一个或多个

文字的一个或多个合取的析取。同合取范式(CNF)一样，在DNF中的命题算子是与、

或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量

主析取范式是大学数学里一门名叫离散数学(Discretemathematics)的课程中的内容，在

离散数学的数理逻