主析取范式的求法及其应用

• 作者: 杨菲
• 来源期刊: 科教文汇
• 学科: 教育
• 关键词: 主析取范式 推演法 真值表法 构造树法
• 年，卷（期）: 2013,（6）
• 页码范围: 53
• 分类号: G642.41
• 字数: 1340字
• 语种: 中文

摘要

本文综述了求主析取范式的三种主要方法,即推演法、真值表法、构造树法,并从经典例题入手分析了三种方法的应用技巧.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨菲		13	16	2.0	3.0