Boolean logic
Boolean value
One of the two values true and false.
Definition
Boolean value
A Boolean value records one of two alternatives: true or false.
Boolean formulas compute Boolean values from variables and logical connectives. SAT searches for variable values that make a whole formula true.
01
Example
If signed is true and expired is false, then signed and not expired evaluates to true.
02
Important distinction
Unknown is a separate solver result. It is not a third Boolean value in ordinary two-valued logic.
After reading this article, you should be able to
- Define Boolean value in the sense used on this site.
- Evaluate a small Boolean expression under a given assignment.