De Morgans lover

De Morgans lover omhandler, i logikken, følgende to ekvivalenser.

$\overline{A\cdot B}\equiv \bar{A}+\bar{B}$

$\overline{A+B}\equiv \bar{A}\cdot \bar{B},$

der:

• $\cdot$ er en logisk OG,
• $+$ er en logisk ELLER,
• ‾‾‾ er logisk IKKE for det som er under streken.

I pseudokode kan den første ekvivalensen skrives som ikke (a og b) == (ikke a) eller (ikke b), og den andre kan skrives som ikke (a eller b) == (ikke a) og (ikke b).

Se også

• Boolsk algebra