合取范式

来自 搜狐网 的图片

合取范式是全国科学技术名词审定委员会审定、公布的科技类名词。

汉字，是中华民族文化的化石，是历史的载体，是前人智慧的结晶，是有着鲜活生命的“你”“我”“他”，有着浓郁的文化意蕴、独特的文化魅力和深厚的民族情结。汉字之美，美在形体、美在风骨、美在精髓、美在真情！

目录

名词解释

合取范式（conjunctive normal form），是命题公式的一种标准形。

一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。

合取范式主要用于解决命题公式的逻辑判断，一个命题的合取范式不是唯一的。

相关内容

一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。命题公式还有另一种范式，析取范式。析取范式的定义与合取范式对偶，只要把合取与析取对换就可以由合取项得到析取项，由合取范式得到析取范式。

假设

设A是一个命题公式，A中出现的命题变元为p1，p2，…，pn，以Qi表示pi或┐pi，i=1，…，n。称Q1∧…∧Qn是p1，…，pn的一个合取项，若干个互不相同的析取项的合取称为一个合取范式，与命题公式A逻辑等价的合取范式称为A的合取范式。

科技名词

科技名词，是指全国科学技术名词审定委员会审定、公布的科技类名词、术语，属于科技术语。是科学技术形成、记录、积累、交流、传播的前提和基础，是科学思维的基础和工具。

统一、规范科技名词是国家科技基础条件的重要内容，是推动科技创新和构建新时代中国科技话语体系的基础性工作，也是中国融入全球科技创新体系、建设世界科技强国的战略性举措，意义重大而深远。

1990年6月23日，国家科委、中国科学院、国家教委、新闻出版署发出《关于使用全国自然科学名词审定委员会公布的科技名词的通知》。

2020年6月2日，教育部、国家语委在京发布2019年中国语言文字事业和语言生活状况，全国科学技术名词审定委员会公布近6万条科技名词。