The invention relates to a Boolean satisfiability judgment method based on linear programming, which belongs to the field of logic circuits, and comprises the following steps: S1, extracting a Boolean proposition logic formula; S2, converting into a CNF Boolean logic formula which can be satisfied; S3, converting the problem into a 3-SAT problem in a CNF form; S4, converting the problem into a 1-in-3-SAT problem; S5, equivalently converting into an optimal value problem of linear programming; S6, solving precision setting is carried out on an optimal value solving problem of linear programming; S7, solving the optimal value of the linear programming problem, and judging the satisfiability of the Boolean proposition logic formula according to the optimal value; and S8, for the satisfactory Boolean proposition logic formula, recursively adding constraints to the linear programming problem and solving the linear programming problem to obtain an answer of the satisfactory problem. Rapid judgment under the polynomial time complexity is realized, the judgment efficiency can be improved, and energy is saved.