De Morgan’s laws are a pair of transformation rules in Boolean algebra that are fundamental to digital circuit design. The première loi La première affirmation stipule que la négation d'une conjonction est la disjonction des négations : `neg(P land Q) iff (neg P) lor (neg Q)`. La seconde affirmation stipule que la négation d'une disjonction est la conjonction des négations : `neg(P lor Q) iff (neg P) land (neg Q)`.

















