Constructing a truth table is exponential in the number of variables, not polynomial, so it cannot s...