析取范式与合取范式 时间:2019-10-16 16:55:49 【文件属性】: 文件名称:析取范式与合取范式 文件大小:60KB 文件格式:DOC 更新时间:2019-10-16 16:55:49 析取范式 合取范式 sat (1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定 (2)一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定 (1)由有限个简单合取式 立即下载