西安电子科技大学$1.4.13主析取范式软件学院家设P1,P2,,Pn是按顺序排列的n个不同的命题变元极小项由这n个命题变元组成的极小项具有以下形式：PPAAP编码为1编码为0含n个命题变元的极小项是所有这n个变元或其否定形式恰出现一次所构成的合取式，这样的极小项共有2n个。西安电子科技大学 §1.4.1 主析取范式 软件学院 极小项 含n个命题变元的极小项是所有这n个变元 或其否定形式恰出现一次所构成的合取 式，这样的极小项共有2n个。 设P1 ,P2 ,.,Pn 是按顺序排列的n个不同的命题变元， 由这n个命题变元组成的极小项具有以下形式： PPP n ~ ~ ~ ∧ Λ 21 ∧∧ Pi ~ { Pi ¬Pi 编码为1 编码为0