一翻译推理题型：1对充分条件假言命题的翻译：如果……那么……前半句推后半句2对必要条件假言命题的翻译：只有……才……后半句推前半句3逆否等价命题：P→Q等价于 ┐Q→ ┐P公式使用示例：【例题】如果某人是杀人犯那么案发时他在现场因此我们可以推知()A.张三案发时在现场所以张三是杀人犯B.李四不是杀人犯所以李四案发时不在现场C.王

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级 2.6 逻辑函数的化简法逻辑函数的最简形式 最简与或 ------包含的乘积项已经最少每个乘积项的因子也最少称为最简的与-或逻辑式一. 公式化简法 反复应用基本公式和常用公式消去多余的乘积项和多余的因子 例： 二. 卡诺图化简法 逻辑函数的卡诺图表示法实质：将逻辑函数的最小项之和的以图形的方式

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第3章 布尔代数与逻辑函数化简学习要点：三种基本运算基本公式定理和规则逻辑函数及其表示方法逻辑函数的公式化简法与卡诺图化简法无关项及其在逻辑函数化简中的应用3.1 基本公式和规则3.1.1逻辑代数的公式和定理(1)常量之间的关系(2)基本公式分别令A=0及A=1代入这些公式即可证明它们的正确性(3)基本定理利用真值表很容易

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级主要内容：个体词谓词量词一阶逻辑命题符号化F的合式公式闭式F的解释公式的类型：永真式矛盾式可满足式第四章 一阶逻辑基本概念要求：(1)准确地将给定命题在F中符号化 当指定个体域时就使用它当没指定个体域时就使用全总个体域在符号化时注意两个基本公式中量词与