主要公开日志

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

• 2023年5月20日 (六) 04:43 Gsxab 留言 贡献创建了页面范式（命题公式） （创建页面，内容为“{{InfoBox |name=范式 |eng_name=normal form }} '''范式'''('''normal form''')，即规范形式，指命题公式的标准形式。 显然，由于含有 <math>n</math> 个命题变元的全部命题公式仅有 <math>2^n</math> 个指派，通过这 <math>2^n</math> 个真值就能将其划分成 <math>2^{2^n}</math> 个等值的类。 因此，按真值表的行描述这些公式即是规范形式。 通常，命题公式的范式指[…”）