Showing Web View For Page 813 | Show full page with images

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

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


Image Source Notebooks:

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