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