释
合取范式
hé qǔ fàn shì · ㄏㄜˊ ㄑㄩˇ ㄈㄢˋ ㄕˋ
修撰于 2026-06-30 19:25:58
音义
| 拼音 | hé qǔ fàn shì |
|---|---|
| 字母 | he qu fan shi |
| 首字母 | hqfs |
| 注音 | ㄏㄜˊ ㄑㄩˇ ㄈㄢˋ ㄕˋ |
| 注音符号 | ㄏㄜ ㄑㄩ ㄈㄢ ㄕ |
广训
合取范式（conjunctive normal form），是命题公式的一种标准形。一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。合取范式主要用于解决命题公式的逻辑判断，一个命题的合取范式不是唯一的。