摘要：
1.题目大意： http://acm.hnu.cn/online/?action=problem&type=show&id=12022&courseid=186在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。一个逻辑公式被认为是DNF的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在DNF中的命题算子是与、或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。 简单来说，析取范式是一些字句的逻辑或，而它的字句是一个合取范式；合取范式是一些字句的逻辑或，而它的字句是一个析取范式。 本题中，逻辑 阅读全文
