计算机辅助气动系统逻辑设计的研究
来源期刊：东北大学学报(自然科学版)1995年第6期
论文作者：刘永贤 张瑞金 黄雨华
关键词：逻辑设计;逻辑综合;立方符号;最小项;
摘 要：对计算机辅助气动系统逻辑设计进行了深入研究，选择逻辑综合的方法作为计算机辅助气动系统逻辑设计的基本方法。采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果．
刘永贤，张瑞金，黄雨华
摘 要：对计算机辅助气动系统逻辑设计进行了深入研究，选择逻辑综合的方法作为计算机辅助气动系统逻辑设计的基本方法。采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果．
关键词：逻辑设计;逻辑综合;立方符号;最小项;
