第二章 命题逻辑等.ppt

第二章 命题逻辑等值演算 等值式 析取范式与合取范式 主析取范式与主合取范式 主析取范式与主合取范式 主合取式与主析取式的关系 第二章 习题课 作业 4 (3, 4), 5(1, 3), 6(1, 3), 12, 13 预习第三章 * * p: A去; q: B去; r: C去 for p = 0:1 for q = 0:1 for r = 0:1 key = (~p | r) (~q | ~r) (r | q | p); if key == 1 p, q, r end end end end Scheme: 0 0 1 0 1 0 1 0 1 *