1-78 对偶和范式.pptVIP

1-7对偶与范式;1-7.1 对偶式;1-7.1 对偶式;1-7.1 对偶式;1-7.1 对偶式;1-7.2 范式(normal form);1-7.2 范式;1-7.2 范式;1-7.2 范式;1-7.2 范式;1-7.3 主析取范式;1-7.3 主析取范式;1-7.3 主析取范式;小项的性质;1-7.3 主析取范式;1-7.3 主析取范式;1-7.3 主析取范式;1-7.3 主析取范式;1-7.3 主析取范式;1-7.4 主合取范式;1-7.4 主合取范式;1-7.4 主合取范式;大项的性质;1-7.4 主合取范式;1-7.4 主合取范式;1-7.4 主合取范式;1-7.4 主合取范式;1-7.3 主析取范式;大家可以看到，当用等价公式推导的方法求得一公式的主析取范式或主合取范式时，可以方便地用编码求得另一种主范式，比真值表法快一些。 请做P39 (3) c) 求 ? (P?Q)的主析取范式，再用编码大项写出主合取范式。 解：原式?P??Q ? m10 = ?2 原式? M00 ?M01 ? M11 ? (P?Q) ? (P??Q) ? (? P??Q) =?0,1,3;作业(1-7);1-8 推理理论;1-8 推理理论;1-8.1 真值表法;1-8 推理理论;1-8.2 直接证法;1-8.2 直接证法;1-8.2 直接证法;1-8.2 直接证法;1-8.3 间接证法;1-