主要公开日志

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

• 2023年5月20日 (六) 07:54 Gsxab 留言 贡献创建了页面主析取范式、主合取范式 （创建页面，内容为“{{InfoBox |name=主析取范式 |eng_name=canonical disjunctive normal form |aliases=CDNF,principle disjunctive norm form,minterm canonical form }} {{InfoBox |name=主合取范式 |eng_name=canonical conjunctive normal form |aliases=CCNF,principle conjunctive norm form,maxterm canonical form }} 命题公式可以表示为与其等值的多个析取范式、合取范式，在一定约束下，其中有唯一的'''主析取范式'''…”）