析取范式

✍ dations ◷ 2025-06-08 17:37:32 #析取范式

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

但如下公式不是 DNF:

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

相关

梅益梅益（1913年－2003年9月13日），原名陈少卿，男，广东潮安人，中国作家、翻译家、学者，中国共产党党员。曾在汕头金山中学、上海中国公学、北平中国大学等校读书。1935年经陈伯达介绍，参加
三座山测试三座山测试（英语：The Three Mountain Task）是由一位瑞士发展心理学家让·皮亚杰。他基于其理论上在发展心理学的一个认知发展形设计的。认知能力的发展，据他的理论分为四个阶
金安平金安平（英语：Annping Chin，1950年－），生于台湾台南市，美籍华人，史学家金毓黻的孙女。美国历史学家，她的丈夫是美国历史学家史景迁（Jonathan D. Spence）。1950年，金安平出生于台南的一个外
胡贝湖坐标：47°45′46″N 11°21′00″E / 47.76272°N 11.34990°E / 47.76272; 11.34990胡贝湖（德语：Hubersee），是德国的湖泊，位于该国东南部，由巴伐利亚州负责管辖，处于彭茨贝格，长0.4
索尼Xperia Z UltraSony Xperia Z Ultra是日本电子公司Sony于2013年6月25日于上海发布，拥有6.44英寸大屏幕的旗舰级智能手机（又称Phablet），搭载Snapdragon Qualcomm Snapdragon 800 - 2.2GHz 四核
春日级装甲巡洋舰春日级装甲巡洋舰（日本海军名称“春日型装甲巡洋舰”，かすががたそうこうじゅんようかん）原本为阿根廷向意大利订购的装甲巡洋舰，其后为大日本帝国海军抢在日俄战争前竞购而得，并
华特迪士尼幻想工程华特迪士尼幻想工程（英语：Walt Disney Imagineering，缩写：WDI）是华特迪士尼公司旗下的开发部门，负责设计建造世界各地的迪士尼主题乐园。由华特·迪士尼在1952年规划加州迪士尼乐
乔家铣乔家铣（？－？），江苏丹徒县人，清朝政治人物。举人出身。咸丰九年九月，担任清朝广东省潮州府丰顺县知县。后由倪云接任。
假面骑士REVICE The Mystery《假面骑士REVICE The Mystery 》（日语：仮面ライダーリバイス The Mystery（ザ・ミステリー））是特摄片《假面骑士REVICE》的外传作品。以荒郊野外的欧式洋房为舞台，并解开杀人事件之谜的故事。五十岚一辉（五十嵐一輝，いがらし・いっき）（前田拳太郎饰）拜斯（バイス）（木村昴声）五十岚大二（五十嵐大二，いがらし・だいじ）（日向亘饰）五十岚樱（五十嵐さくら，いがらし・さくら）（井本彩花饰）门田广见（門田ヒロミ，かどた・ひろみ）（小松准弥（日语：小松準弥）饰）乔治·狩崎（ジョージ・狩
福绘美子福绘美子（日语：福絵美子，旧名：福笑子，1978年3月13日－），日本女性配音员、旁白。Sigma Seven所属。身高166cm。※表示说明担任旁白至今的电视节目。※作品依英文名称排序。