Les lois de De Morgan sont une paire de règles de transformation en algèbre booléenne qui sont fondamentales pour la conception de circuits numériques. 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)`.





