Showing Text From Page | View 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.

Captions on this page:

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

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