主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年5月20日 (六) 05:21 Gsxab 留言 贡献创建了页面析取范式、合取范式 （创建页面，内容为“{{InfoBox |name=析取范式 |eng_name=disjunctive normal form |aliases=DNF,OR of ANDs,sum of products }} {{InfoBox |name=合取范式 |eng_name=conjunctive normal form |aliases=CNF,AND of ORs,sum of products }} 命题公式可以表示为与其等值的标准形式。 合取的析取称为'''析取范式'''('''disjunctive normal form''')，析取的合取称为'''合取范式'''('''conjunctive normal form''')。 == 定义 == === 文字 === * 不含…”）