De Morgans lover

Den utskrivbare versjonen støttes ikke lenger eller har rendringsfeil. Oppdater eventuelle bokmerker i nettleseren din og bruk nettleserens standard utskriftsfunksjon i stedet.

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

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

{\overline {A+B}}\equiv {\overline {A}}\cdot {\overline {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