本节主要介绍如何用代数法将逻辑函数简化为最简 与-或式。掌握了最简与－或式的方法，就可以利用对偶 规则化简逻辑函数为最简或－与表达式

4.1 关系运算及其表达式 4.2 逻辑运算及其表达式 4.3 if语句 4.4 switch语句 4.5 选择结构程序举例

一、表达式 二、关系表达式 三、逻辑表达式 四、条件表达式

一、表达式 二、关系表达式 三、逻辑表达式 四、条件表达式

一、表达式 二、关系表达式 三、逻辑表达式 四、条件表达式

一、表达式 二、关系表达式 三、逻辑表达式 四、条件表达式

一、有关概念 二、逻辑结构及特点 三、存储结构 四、有关操作 要求：熟练掌握上述内容及有关操作的算法实现

一、数据库系统设计概述 二、需求分析 三、概念数据库设计 四、逻辑数据库数据库设计 五、物理数据库设计

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论