【词语名称】析取范式(xiqufanshi)
【词语拼音】xi qu fan shi
【词语读音】xī qǔ fàn shì
【词语简拼】XQFS
【网络释义】 在离散数学中,仅由有限个文字构成的合取式称为简单合取式,而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性:任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。
【分字组词】取字组词 式字组词 析字组词 范字组词