2.1 概述 2.2 逻辑代数中的三种基本运算 2.3 逻辑代数的基本公式和常用公式 2.4 逻辑代数的基本定理 2.5 逻辑函数及其表示方法 2.6 逻辑函数的化简方法 2.7 具有无关项的逻辑函数及其化简

原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点

2.1逻辑代数的三种基本运算 2.2逻辑代数的基本定律和规则 2.3复合逻辑 2.4逻辑函数的两种标准形式 2.5逻辑函数的代数化简法口 2.6逻辑函数的卡诺图化简 2.7非完全描述逻辑函数的化简

本文以大学教师师生年龄差不断增长为视角，指出在科研能力提高与教学经验积累过程中，大学教师与学生互动而增进了解的必要性，强调大学应重视逻辑方法、数学方法等理性素质的培养。进而通过回顾复旦立校诸老对逻辑研究与教学的强调，突出通识教育背景下逻辑基础教学的重要性。最后，作者针对当前逻辑教学实践中出现在两对反差与矛盾，建议进一步重视逻辑教学，优化逻辑课程设置

第四章 模态逻辑 第五章 归纳逻辑 第六章 逻辑规律 第七章 论证

2.1 逻辑代数基础 2.1.1 逻辑代数的基本概念 2.1.2 逻辑函数 2.1.3 逻辑代数的公理、定理和规则 2.1.4 逻辑表达式的基本形式 2.1.5 逻辑函数的标准形式 2.1.6 逻辑函数表达式的转换 2.2 逻辑函数的化简 2.2.1 代数化简法 2.2.2 卡诺图化简法

2.1 概述 2.2 逻辑代数中的三种基本运算 2.3 逻辑代数的基本公式和常用公式 2.4 逻辑代数的基本定理 2.5 逻辑函数及其表示方法 2.6 逻辑函数的化简法 2.7 具有无关项的逻辑函数及其化简 2.8 用multisim进行逻辑函数的化简与变换

3.1 MOS逻辑门电路 3.2 TTL逻辑门电路 3.3 射极耦合逻辑门电路（自学） 3.4 砷化镓逻辑门电路（自学） 3.5 逻辑描述中的几个问题 3.6 逻辑门电路使用中的几个实际问题 3.7 用VerilogHDL描述逻辑门电路（自学）

1-1 概述 1-2 逻辑代数中的三种基本运算 1-3 逻辑代数的基本公式和常用公式 1-4 逻辑代数的基本定理 1-5 逻辑函数及其表示方法 1-6 逻辑函数的公式化简法 1-7 逻辑函数的卡诺图化简法 1-8 具有无关项的逻辑函数及其化简

⒈ 组合逻辑电路 任一时刻稳态输出只取决于该时刻输入信号的组合，而与电路原来状态无关，称为组合逻辑电路。 ⒉ 组合逻辑电路的分析和设计 组合逻辑电路的分析：已知组合逻辑电路，求出输入输出逻辑表达式（逻辑功能）