Truth tables require worst-case 2^n explicit row construction; P=NP SAT solvers could use shortcuts ...
This proposition has not been edited since the history system was added.