【文件属性】:
文件名称:主析取范式与主合取范式-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2021-03-24 10:42:06
java
主析取范式与主合取范式
主析取范式——由极小项构成的析取范式
主合取范式——由极大项构成的合取范式
例如,n=3, 命题变项为 p, q, r 时,
(pqr)(pqr) m1m3 ——主析取范式
(pqr)(pqr) M1M7——主合取范式
公式A的主析取(合取)范式——与A 等值的主析取(合取)范式
定理2.5 (主范式的存在惟一定理)
任何命题公式都存在与之等值的主析取范式和主合取范式,
并且是惟一的