释
析取范式
xī qǔ fàn shì · ㄒㄧ ㄑㄩˇ ㄈㄢˋ ㄕˋ
修撰于 2026-06-29 21:23:38
音义
| 拼音 | xī qǔ fàn shì |
|---|---|
| 字母 | xi qu fan shi |
| 首字母 | xqfs |
| 注音 | ㄒㄧ ㄑㄩˇ ㄈㄢˋ ㄕˋ |
| 注音符号 | ㄒㄧ ㄑㄩ ㄈㄢ ㄕ |
广训
在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。