最近在查资料时注意到「析取范式」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- xī qǔ fàn shì
- 字母
- xi qu fan shi
- 首字母
- xqfs
- 注音
- ㄒㄧ ㄑㄩˇ ㄈㄢˋ ㄕˋ
在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。
析取范式
xī qǔ fàn shì · ㄒㄧ ㄑㄩˇ ㄈㄢˋ ㄕˋ