析取范式

✍ dations ◷ 2025-09-19 07:05:36 #析取范式

在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在 DNF 中的命题算子是与、或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:

但如下公式不是 DNF:

把公式转换成 DNF 要使用逻辑等价，比如双重否定除去、德·摩根定律和分配律。注意所有逻辑公式都可以转换成析取范式。但是，在某些情况下转换成 DNF 可能导致公式的指数性爆涨。例如，在 DNF 形式下，如下逻辑公式有 2n 个项：

相关

泥炭沼泽酸性泥炭沼泽即酸沼（英文：bog），是一种泥炭沼泽，该种湿地有酸性泥炭与死亡植物（通常为苔藓，多半为泥炭藓属.，在北极地区则可能为地衣）的积累。由于营养不足，典型植物为水藓。累积大量死
江西财经大学江西财经大学位于江西省南昌市昌北经济技术开发区，前身是江西省立商业学校，成立于1923年，是一所知名的财经类高等学校，经济学和管理学实力雄厚。江西财经大学是江西省一流学科建
荷兰加勒比区荷兰加勒比区（荷兰语：Caribisch Nederland）是属于荷兰本土的三个公共实体：博奈尔、圣尤斯特歇斯和萨巴的集体名称，又称BES群岛，其地名已在国际标准化组织的ISO 3166-1国际标准注册
重点机场重点机场（英语：Focus City）指一间航空公司于非其枢纽机场开办多条前往其他城市的直航航线。例如，美国西北航空公司（已并入达美航空）于2009年3月，在西雅图塔科马国际机场提供了17条
孟加拉国性产业卖淫，在孟加拉国是合法的并受到监管，但妓女必须登记并签署一份宣誓书，声明她们是自愿选择卖淫并且无法找到任何其他工作。孟加拉国的妓女经常遭受贫困和社会上的歧视。卖淫在孟
徐殿扬徐殿扬（1766年－1827年），山东莱州土山镇西代古庄村人。清朝军事将领、武状元。乾隆五十八年（1793年），登进士一甲第一名，授头等侍卫。曾任增城营参将、两广督标、中军、副将等职。道光
间宫祥太朗间宫祥太朗（1993年6月11日－），日本艺人、演员，为Tristone Entertainment旗下艺人，2008年开始出道。神奈川县横浜市出身。血型O型、双子座。
元代文学元代文学是指蒙古灭金（1234年）至朱元璋推翻元顺帝（1368年）的一段时期内的文学。虽然元朝统治时期较短，但意义比较重大，因为叙事文学第一次成了主导地位。叙事文学自唐代开始，有传奇
郭尚道郭尚道（朝鲜语：곽상도／郭尙道，1959年12月23日－），大韩民国保守派政治人物，第20到21届国会议员。
吕西恩·裴堤帕吕西恩·裴堤帕（Lucien Petipa；1815年12月22日－1898年7月7日），是19世纪初浪漫主义时期法国重要的男性芭蕾舞者。吕西恩·裴堤帕生于马赛，在布鲁塞尔成长及学习芭蕾舞。1821年3月25日他在布鲁塞尔的皇家剧院首度登台。1835年他被聘请为波尔多剧院的首席舞者。几年后他前往巴黎，并成为巴黎歌剧院的首席舞者，长期与卡儿罗塔葛利西搭档，直到1868年的一次狩猎中发生意外使他退休。他于1872年10月返回布鲁塞尔，并于1875年被任命为布鲁塞尔皇家音乐学院的教授，之后的三年中他教导学生姿势