本章教学计划(6课时)
本章主要内容
等值式与基本的等值式
等值演算与置换规则
析取范式与合取范式、主析取范式与主合取范式
联结词完备集(不讲)
本章与后续各章的关系
是第一章的抽象与延伸
是后续各章的现行准备