[判断题]满足约束方程的逻辑变量值是逻辑函数允许的自变量取值，否则是不允许的自变量取值。