Teorema della dicotomia di Schaefer e clausole 3-letterali riformulanti

Question

Il teorema della dicotomia di Schaefer sta stabilendo che una clausola 3-Sat generale non può essere trasformata in un insieme equivalente di clausole 2-Sat/Hornsat/Affine (usando variabili ausiliarie) o solo che ciò sarebbe molto improbabile in quanto implicherebbe P = NP? Chiedo perché so che ci sono alcuni tipi di problemi che coinvolgono Claus 3-letterali che possono essere trasformati in clausole equivalenti a 2-Sat/Hornsat. Sto pensando specificamente a 2-Or-3 SAT che può essere risolto con clausole 2-Sat/Anti-Hornsat o SAT 1-Or-3 che possono essere risolte usando clausole affine.