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

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

ICAI Realizaltion for the K-map Simplification of Logical Function

Based on the theory of the K map simplification of logical function(KSLF),this article releases a ICAI Realization for KSLF.Providing three kinds of teaching style:commonness, teaching, practice.This product,wich supports for the K map simplification with random item,is not only helpful to the construction of the curriculum of digital circuit ,but also to the design for digital application system.Under the practice method, This product's guides,checks,and corrects the student's whole process forthe proceeding of KSLF automaticly under the teaching method.