用计算机化简逻辑式
Simplifying Logical Algebra Expression with Computer作者机构：昆明师范专科学校数学系
出 版 物：《昆明学院学报》 (Journal of Kunming University)
年 卷 期：1994年第25卷第S1期
页 面：69-77页
学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：计算机 逻辑式 化简 范式 最小项 蕴含项 质项 复盖
摘 要：本文寻求一种化简逻辑式的方法——应用BASIC语言程序化简逻辑式,把化简逻辑式的工作交给机器来完成,望在实际应用中把人们从烦杂的脑力劳动中解放出来。
维普期刊数据库
同方期刊数据库