1.5对偶与范式对偶式和对偶原理对偶式和对偶原理对偶式和对偶原理判定问题析取范式与合取范式析取范式与合取范式析取范式与合取范式析取范式与合取范式(续)命题公式的范式求公式的范式举例求公式的范式举例(续)极小项与极大项极小项与极大项极小项与极大项极小项与极大项(续)小项的性质：大项的性质：主析取范式与主合取范式主析取范式与主合取范式(续)主析取范式与主合取范式(续)从A的主析取范式求其主合取范式的步骤求公式的主范式求公式的主范式(续)求公式的主范式(续)求公式的主范式(续)主范式的用途——与真值表相同主范式的用途(续)主范式的用途(续)主范式的用途(续)例(续)例(续)例(续)例(续)