分类集合与计数这样算，首先如： P,Q,\\neg P, \\neg Q,\\neg P∧Q,P∧Q,\\neg P∧P,\\neg Q∧P∧Q 都是基本积。一个基本积是永假式，当且仅当它含有 P,\\neg P 形式的两个因子，即(\\dots\\wedge P\\dots\\wedge\\neg P\\dots)\\Leftrightarrow F