De Morgan's laws state that the negation of a conjunction is the disjunction of the negations, and the negation of a disjunction is the conjunction of the negations. Specifically, NOT (A AND B) = (NOT A) OR (NOT B). The provided options use symbols for logical operators, and option B correctly reflects the distribution of the negation operator.