析取范式

基本属性

• 拼音字母xi qu fan shi
• 拼音首字母xqfs
• 注音符号ㄒㄧ ㄑㄩ ㄈㄢ ㄕ

扩展释义

在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。