Wolfram公理

只有满足以下条件的单一公理NAND公司或也不必须采用“某物等于”的形式，“因为否则常量函数将满足等式。对于多达六个NAND和两个变量这种可能的公理系统甚至可以工作到3值操作员。但有6个NANDS和3个变量，296个可能的公理系统最多工作3值运算符，和100个工作到4值操作符（Wolfram 2002，p809).

在这25个并不平凡的等价项中，只有Wolfram公理

和公理

哪里表示NAND公司运算符与公理等价属于布尔代数（Wolfram 2002，pp808-811和1174).这些候选公理由S.Wolfram于2000年确定，他也证明了没有更小的候选人。