析取范式是什么意思

百科释义

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

汉语词典收录了近50万个词语，包含词语的解释、例句和翻译，词库仍在不断更新中。

词典数据主要来源于新华字典，以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语，用于补充词库，方便大家查询。