合取范式(conjunctive normal form),是命题公式的一种标准形。一个命题公式的合取范式可以通过真值表得到,也可以通过等价变换得到。合取范式主要用于解决命题公式的逻辑判断,一个命题的合取范式不是唯一的。
鸿凯词语词典,专业汉语查询工具。收录海量成语、近义词、反义词及组词,解释详尽,例句丰富。每日更新,助力您的语言学习与创作。