2.2 析取范式与合取范式.ppt

第一部分 数理逻辑<br/>第二章 命题逻辑等值演算<br/>2.1 等值式<br/>2.2 析取范式与合取范式