2-CNF-SAT问题用消去法是有效的，相信对3-CNF-SAT问题用消去法求解相信也有人研究过（虽然我自己没有研究过），如果是有效的，应该很早有研究论文问世。请姜老师对3-CNF-SAT问题的消去法细心推敲一下。

谢谢关爱的忠告！我有十足的信心，迎接任何质疑。一个艰难的问题的解决往往就是在小小的被忽略的缝隙之中。

我已正式发表论文，见http://blog.sciencenet.cn/blog-340399-902729.html