一种基于二元域的高效决策判定方法

摘要

本发明提供一种基于二元域的高效决策判定方法，通过将布尔命题逻辑的可满足性问题转化为一个线性方程组的求解问题后，利用0‑1解的性质，在二元域上求解，当方程在二元域上有多解时，求出某些变量的常数解，代入公式化简后再次求解，直到求出所有变量的值，本发明可以广泛应用于数理逻辑、人工智能、电路设计与检测等领域，计算效率，增强了判定方法的实用性。