Quelles sont les réductions connues de 3SAT à 2SAT ?

Question

Existe-t-il un moyen de convertir une formule 3SAT en une formule 2SAT équisatisfiable ?Chaque méthode présente un intérêt, même celles qui croissent de manière exponentielle.(Donc si, par exemple, ma formule 3SAT comporte 16 variables et 32 ​​clauses, une formule 2SAT transformée aurait 2ˆ16 variables et/ou 2ˆ32 clauses)

Un exemple de formule 3SAT que j'aimerais convertir est :

A xor B xor C

Ou pareil au CNF :

(A ou B ou C) et (A ou ! B ou ! C) et ( ! A ou ! B ou C) et ( ! A ou B ou ! C)