Hopp til innhold

De Morgans lover

Fra Wikipedia, den frie encyklopedi

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

der:

  • 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).