金鳞踏雨

摘要： 主析取范式与主合取范式 定义 设A为恰含命题变元p1,…,pn的公式。公式A'称为A的主析（合）取范式（majordisjunctive（conjunctive）normal form），如果A'是A的析（合）取范式，并且其每个合（析）取子句中p1,…,pn均恰出现一次。 据定义，例1.21中公式┐ 阅读全文