2
one could provably use 2SAT to solve 3SAT problems, ie a reduction, its just that there is not a P-time/space reduction unless P=NP. in other words, converting 3SAT to 2SAT, or reducing 3SAT instance $A$ to 2SAT instance $B$, is indeed possible (using extra 2SAT variables and clauses!), but all k...