Written by the Fiveable Content Team • Last updated August 2025
Verified for the 2027 exam
Verified for the 2027 exam•Written by the Fiveable Content Team • Last updated August 2025
Definition
A logical law stating that the negation of a conjunction equals the disjunction of the negations, and the negation of a disjunction equals the conjunction of the negations: !(a && b) ≡ !a || !b and !(a || b) ≡ !a && !b.