摘要: 目录第一章命题逻辑的基本概念习题 117 题 判断论述21 题 求下列公式的成假赋值29 题 简答题第二章知识储备命题公式类型习题二知识储备求下列公式的主析取范式,再用主析取范式求主合取范式.用主析取范式判断下列公式是否等值.简答题用消解法判断下列公式是否是可满足的. 第一章命题逻辑的基本概念 习题 阅读全文
posted @ 2020-03-25 14:45 月光不染是非 阅读(2918) 评论(0) 推荐(0) 编辑