为什么我们有多项式算法将SAT降低到3 SAT，却没有将3 SAT降低到2 SAT？

Question

我只是想了解为什么我们不能像将一般SAT减少到3 SAT一样将3 SAT减少到2 SAT。为什么在这种情况下要花费指数时间？

我知道2 SAT在P中，而3 SAT在NP中，所以如果我们能够将3 SAT减少到2 SAT，那么我们就有效地证明了P = NP！但是我想了解在多项式时间内不可能将3 SAT转换为2 SAT的证明。

谢谢。