algorithm - 2 SAT を多項式時間で解いて、強連結成分を見つけることができることを理解しています。同じことを 3SAT で行うのはどうですか?

Question

3SAT の場合、1 つの句に対して 2 つの含意を得る代わりに、おそらく 12(3C2*2*2) が得られます。これは、m が 3 つの CNF の句の数である場合、12m のエッジのグラフを形成します。その結果のグラフで強連結成分を見つけます。3 SAT を P 問題にするこのステートメントのどこが間違っていますか? 例えば。

(a+b) = (-a->b).(-b->a)
(a+b+c) = (-a->(b+c)).(-(b+c)->a).....4 more like this
        = (-a ->((-b->c).(-c->b)))....2 for each like this