离散数学 证明重言蕴含式的一个疑问

在用主析取范式法证明重言蕴含式的时候，为什么是根据它缺不缺极小项，判断是否为重言式的?

主析取范式法是由极小项的析取构成的，每种真值指派使仅使某一个极小项为真，从而使整个公式为真，有多少真值指派就有多少极小项，N个变元有2^N个极小项，如果缺了某个极小项，它对应的真值指派就不能使其它小项为真，从而整个公式不能为真，故重言式是所有极小项（2^N个）析取，缺一不可，否则必不是重言式。

离散数学(discrete mathematics)是数学的几个分支的总称，以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数无穷个元素；因此它充分描述了计算机科学离散性的特点。 　　离散数学通常研究的领域包括：数理逻辑、集合论、代数结构、关系论、函数论、图论、组合学、数论等。 　　由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系， 因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。 　　离散数学课程主要介绍离散数学的各个分支的基本概念、基本理论和基本方法。这些概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中；同时，该课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高，十分有益于学生严谨、完整、规范的科学态度的培养。