Constructing a truth table requires explicit enumeration of 2^n rows, while a P=NP SAT algorithm nee...