4-2020 第四章-31

【文件属性】：

文件名称：4-2020 第四章-31

文件大小：618KB

文件格式：PDF

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

人工智能

1.消去蕴涵符号 2.减少否定符号的辖域 3.对变量标准化 4.消去存在量词 5.化为前束形 6.把母式化为合取范式 7.消去全称量词 8.消去合取符号∧ 9.