你
请解释一下「析取范式」这个词的含义。
助手
析取范式
xī qǔ fàn shì · ㄒㄧ ㄑㄩˇ ㄈㄢˋ ㄕˋ
xi qu fan shi
xqfs
ㄒㄧ ㄑㄩ ㄈㄢ ㄕ
2026-07-10 22:50:14
扩展释义
在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。
请解释一下「析取范式」这个词的含义。
在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。