1.5 对偶与范式对偶与范式对偶式与对偶原理对偶式与对偶原理析取范式与合取范式析取范式与合取范式主析取范式与主合取范式主析取范式与主合取范式1对偶式和对偶原理对偶式和对偶原理定定义义 在在仅仅含含有有联联结结词词,的的命命题题公公式式A中中，将将换换成成,换换成成，若若A中中含含有有0或或1，就就将将0换换成成1，1换换成成0，所所得得命命题题公公式称为式称为A的的对偶式对偶式，记为，记为A*.从定义不难看出，从定义不难看出，(A*)*还原成还原成A显显然然，A也也是是A*的的对对偶偶式式。可可见见A与与A*互互为为对偶式。对偶式。2对偶式和对偶原理对偶式和对偶原理定理定理 设设A和和A*互为对偶式，互为对偶式，p1,p2,pn是出现在是出现在A和和A*中的全部命题变项，将中的全部命题变项，将A和和A*写成写成n元函数形式，元函数形式，则则(1)A(p1,p2,pn)A*(p1,p2,pn)(2)A(p1,p2,pn)A*(p1,p2,pn)n(1)表表明明，公公式式A的的否否定定等等价价于于其其命命题题变变元元否否定定的的对对偶偶式式；(2)表表明明，命命题题变变元元否否定定的的公公
