西安电子科技大学S1.4.2主合取范式软件学院茶家家家例如，以下是含有三个命题变元P，Q,R的极大项：极大项PV-QVR该极大项的编号为：001M2记为：含n个命题变元的极大项共有2n个，编号为0~2n-1。西安电子科技大学 §1.4.2 主合取范式 软件学院 极大项 含n个命题变元的极大项共有2n个， 编号为0~2n-1。 例如，以下是含有三个命题变元P,Q,R的极大项： ∨ ¬ ∨ RQP 该极大项的编号为： 0 1 0 记为： M2