- De Morgan's Laws: A set of rules that describe how to simplify boolean expressions involving negations and conjunctions (AND) or disjunctions (OR).
- Boolean Variable: A variable that can have one of two possible values, typically represented as true or false.
- Boolean Expression: An expression that consists of boolean variables, operators, and constants, which evaluates to either true or false.