用C程序求解命题公式中的若干问题

• 作者: 岳晓红 段红英
• 来源期刊: 科技信息
• 关键词: C语言 离散数学 命题公式
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 基础理论研讨
• 页码范围: 34
• 页数: 1页
• 字数: 1067字
• 语种: 中文

摘要

本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式.在计算机专业的教学中可以培养学生的理论和计算机操作相结合的学习能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	岳晓红	陇东学院信息工程学院	21	17	3.0	4.0
2	段红英	陇东学院数学与统计学院	14	29	3.0	4.0