西安电子科技大学$1.4.1主析取范式软件学院家例如，以下是含有三个命题变元P，Q,R的极小项：极小项P-PP该极小项的编号为：011ms记为：含n个命题变元的极小项共有2n个，编号为0~2n-1。西安电子科技大学 §1.4.1 主析取范式 软件学院 极小项 含n个命题变元的极小项共有2n个， 编号为0~2n-1。 例如，以下是含有三个命题变元P,Q,R的极小项： ∧ ¬ ∧ PPP 321 该极小项的编号为： 1 0 1 记为： m5