离散数学屈婉玲第二章

- * - 主要内容等值式与基本的等值式等值演算与置换规则析取范式与合取范式，主析取范式与主合取范式联结词完备集 - 第二章 命题逻辑等值演算