本章教学计划(6课时)

本章主要内容

等值式与基本的等值式

等值演算与置换规则

析取范式与合取范式、主析取范式与主合取范式

联结词完备集(不讲)

本章与后续各章的关系

是第一章的抽象与延伸

是后续各章的现行准备