电脑体验，效果更佳

命题公式图谱-自然科学领域：

研究人员

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

相关术语

永真式、永假式和可满足式 形式输出 简单析取式 自动生成 指派 范式 简单合取式 重言式

下位概念

主合取范式 主析取范式

标签云