合取范式
hé qǔ fàn shì
ㄏㄜˊ ㄑㄩˇ ㄈㄢˋ ㄕˋ
📖 词语释义
- 拼音字母he qu fan shi
- 首字母hqfs
- 注音符号ㄏㄜ ㄑㄩ ㄈㄢ ㄕ
- 更新2026-07-10 03:16:54
更多解释
合取范式(conjunctive normal form),是命题公式的一种标准形。一个命题公式的合取范式可以通过真值表得到,也可以通过等价变换得到。合取范式主要用于解决命题公式的逻辑判断,一个命题的合取范式不是唯一的。
合取范式(conjunctive normal form),是命题公式的一种标准形。一个命题公式的合取范式可以通过真值表得到,也可以通过等价变换得到。合取范式主要用于解决命题公式的逻辑判断,一个命题的合取范式不是唯一的。