So what happens if essentially just a single form of operator is allowed? The pictures below show results for the 16 forms from page 806, and among these one sees that logic yields the fewest theorems.


Theorems that hold with operators of each of the forms shown on page 806. Nand and Nor yield the smallest number of theorems.


Exportable Images for This Page:

From Stephen Wolfram: A New Kind of Science [citation]