郭爱平 李宝健 张会凌 李庆宏

主合取范式 主析取范式 永真式、永假式和可满足式 形式输出 简单析取式 自动生成 指派 范式 简单合取式 重言式 计算机计算和输出 主析取范式 小项 主合取范式 真值表 命题变元 永真蕴含式 机械判定 大项 离散数学 命题逻辑

主合取范式 主析取范式