To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.

强调二进制的性质这一问题，这是经常被称为布尔或命题满足。

youdao

To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.

强调二进制的性质这一问题，这是经常被称为布尔或命题满足。

youdao