Rilegatore

I recommend you to read the recently published work of Russian professor, which contains algorithm of translation general 3-SAT formula to the conjunction of two logic functions. For each of this functions you can find a solution in polynomial time. This does not mean equality of classes P and NP. Currently, the State University analyses this work. Try searching for keywords "SLS", "2.5-SAT" and "NP=P+P".