De Morgans lover
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)
.
Se også
🔥 Top keywords: Portal:ForsideSpesial:SøkBørsen (København)Amrit KaurBaneheia-sakenFinn.noThor HeyerdahlCarlo AncelottiYr.noViggo KristiansenFacebookNAVMesterligaen i fotball for mennTungtvannTrond BrænneLuka ModrićJan Helge AndersenNorgeSpesial:Siste endringerNorsk TippingVaskebjørnKristoffer KlaessonIranIsraelJude BellinghamRima IrakiErling Braut HaalandDen iberiske halvøyIngvild KjerkolDagbladetOle Martin ÅrstVGReal Madrid CFAndrij LuninDurek VerrettEurovision Song Contest 2024Danby ChoiEM i fotball 2024Jan Christian Vestre