智能词典助手

读音

• 拼音hé qǔ fàn shì
• 字母he qu fan shi
• 首字母hqfs
• 注音ㄏㄜˊ ㄑㄩˇ ㄈㄢˋ ㄕˋ

补充释义

合取范式（conjunctive normal form），是命题公式的一种标准形。一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。合取范式主要用于解决命题公式的逻辑判断，一个命题的合取范式不是唯一的。