消解序列与合取范式的否证-2014091522053249

【文件属性】：

文件名称：消解序列与合取范式的否证-2014091522053249

文件大小：477KB

文件格式：PPT

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

java

消解序列与合取范式的否证 定义2.10 设S是一个合取范式, C1,C2,,Cn是一个简单析取式 序列. 如果对每一个i(1in), Ci是S的一个简单析取式或者是 Res(Cj,Ck)(1j