主析取范式与主合取范式-2014091522053249

【文件属性】：

文件名称：主析取范式与主合取范式-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

java

主析取范式与主合取范式 主析取范式——由极小项构成的析取范式 主合取范式——由极大项构成的合取范式 例如，n=3, 命题变项为 p, q, r 时， (pqr)(pqr)  m1m3 ——主析取范式 (pqr)(pqr)  M1M7——主合取范式 公式A的主析取(合取)范式——与A 等值的主析取(合取)范式 定理2.5 (主范式的存在惟一定理) 任何命题公式都存在与之等值的主析取范式和主合取范式, 并且是惟一的