西安电子科技大学S1.4.3 主范式的性质软件学院茶家家「定理！已知由n个不同的命题变元构成的公式A的主析取范式为(i1，i2...，ik)，其主合取范式为II(i1,j2..jt)，则有(i1, i2....,ik)U(j1,j2,...,jt)={0, 1,2, ...,2n1)(i1, i2...., ik)nj1, j2...., jt)=O西安电子科技大学 §1.4.3 主范式的性质 软件学院