De Morgan's *laws* are about the distribution of negation. not (A or B) = not A and not B, not (A and B) = not A or not B.
See also: Google. Srsly.
