显示页面的Web视图813 | 显示包含图像的整页

那么,如果本质上只允许一种形式的运算符,会发生什么呢?下图显示了第页中16个表单的结果806其中逻辑产生的定理最少。


适用于第页所示每种形式的运算符的定理806.Nand和Nor产生的定理数量最少。


此页面的可导出图像:

斯蒂芬·沃尔夫拉姆(Stephen Wolfram):一种新的科学[引用]