Boolean Formula

释义 Definition

布尔公式：用布尔代数表示的逻辑表达式，由布尔变量（真/假、1/0）以及逻辑运算符（如 AND、OR、NOT）组合而成，用于描述条件、逻辑关系或计算规则。常见于数字电路、计算机科学、逻辑学与可满足性问题（SAT）等领域。

发音 Pronunciation (IPA)

/ˈbuːliən ˈfɔːrmjələ/

例句 Examples

A Boolean formula can evaluate to true or false.
布尔公式的结果可以为真或为假。

We converted the requirement into a Boolean formula and used a solver to check whether it is satisfiable.
我们把需求转化为一个布尔公式，并用求解器检查它是否可满足。

词源 Etymology

“Boolean”来自19世纪英国数学家George Boole（乔治·布尔）的姓氏，他奠定了布尔代数与符号逻辑的基础；“formula”来自拉丁语 formula，意为“固定形式/规则表达”。合起来，“Boolean formula”就是“用布尔逻辑规则写成的表达式”。

相关词 Related Words

• Boolean Algebra
• Logic
• Proposition
• Truth Table
• Logical Expression
• Conjunction
• Disjunction
• Negation
• Satisfiability
• CNF

文学与经典作品 Notable Works

• The Mathematical Analysis of Logic（1847，George Boole）：与布尔逻辑体系相关，奠定了“Boolean”概念的来源。
• An Investigation of the Laws of Thought（1854，George Boole）：系统阐述布尔代数思想，后世“布尔公式”等术语常在这一传统中使用。
• Introduction to Algorithms（Cormen, Leiserson, Rivest, Stein）：在算法与计算理论相关章节中常涉及布尔表达式/公式及其应用。
• Computers and Intractability: A Guide to the Theory of NP-Completeness（Garey & Johnson）：讨论可满足性等问题时广泛使用布尔公式这一表达。