Written by the Fiveable Content Team • Last updated September 2025
Verified for the 2026 exam
Verified for the 2026 exam•Written by the Fiveable Content Team • Last updated September 2025
Definition
DeMorgan's Theorems state two rules for simplifying logical expressions involving negations (NOT), conjunctions (AND), and disjunctions (OR). These rules allow us to switch between negating individual terms and negating the entire expression.
Related terms
Logical Expression: A combination of logical operators (AND, OR, NOT) and variables used to represent conditions in computer programming.
Truth Table: A table that shows all possible combinations of inputs for a logical expression and their corresponding outputs.
Boolean Algebra: A mathematical structure that deals with variables that can take on only two values (true or false) and operations such as AND, OR, and NOT.