命题公式的范式-2014091522053249

【文件属性】：

文件名称：命题公式的范式-2014091522053249

文件大小：477KB

文件格式：PPT

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

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