How to solve kSAT in polynomial time

摘要

With using of multi-valued logic analytic formulas proposition that kSAT is in P and could be solved in O(n~(3.5)) was proved.