实验一指导 文件读写及命题公式合法性判断1

【文件属性】：

文件名称：实验一指导 文件读写及命题公式合法性判断1

文件大小：141KB

文件格式：PDF

更新时间：2022-08-03 15:16:10

c++ 服务器

2.合取范式（CNF） 1.利用 AB = A∨B 消去联结词 2.重复使用双重否定律、德·摩根定律，将否定词内移到直接作用于命题变项： 3.重复使用分配律，可