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