命题公式的范式-2014091522053249

【文件属性】：
文件名称：命题公式的范式-2014091522053249
文件大小：477KB
文件格式：PPT
更新时间：2021-03-24 10:42:06
java 命题公式的范式 定理2.3（范式存在定理） 任何命题公式都存在与之等值的析取范式与合取范式 公式A的析取(合取)范式与A等值的析取(合取)范式 求公式A的范式的步骤： (1) 消去A中的, （若存在） ABAB AB(AB)(AB) (2) 否定联结词的内移或消去  A A (AB)AB (AB)AB