逻辑函数卡诺图化简ICAI系统

笔者从CAI、ICAI的现状出发,结合《数字电路》课程逻辑函数卡诺图化简理论,介绍了逻辑函数卡诺图化简的ICAI实现方法,并将这种方法最终产品化,该产品支持带任意项化简并提供普通、教学、练习3种教学方式。在练习方式下,计算机将一步一步指导、检查,并批改学生进行逻辑函数卡诺图化简的全过程,在教学方式下,计算机将自动一步一步展示逻辑函数从真值表到卡诺图变换、化简的全过程;该产品对数字电路CAI课程建设、组合逻辑系统设计均有较大的意义。