5 ms·

Like the shortest axiom for classical propositional logic using NAND in the Chapter 12, which is the last chapter, on page 773 in New Kind of Science with no pr

Like the shortest axiom for classical propositional logic using NAND in the Chapter 12, which is the last chapter, on page 773 in New Kind of Science with no proof or references?

potiuper 5y ago
It does have a proof on pg 810, but it's still at the back of the book.
- potiuper 5y ago
  See https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_algebra https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_alg... for claim dispute.