析取范式
xī qǔ fàn shì
ㄒㄧ ㄑㄩˇ ㄈㄢˋ ㄕˋ
📖 词语释义
- 拼音字母xi qu fan shi
- 首字母xqfs
- 注音符号ㄒㄧ ㄑㄩ ㄈㄢ ㄕ
- 更新2026-07-10 04:53:33
更多解释
在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。
在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。