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

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