Inleiding
De wetten van De Morgan vormen een reeks fundamentele regels in de Booleaanse algebra die de relaties tussen negatie, conjunctie en disjunctie beschrijven. Deze wetten maken het mogelijk om complexe logische uitdrukkingen te vereenvoudigen, wat essentieel is voor propositielogica, digitale schakelingen en computersystemen. De beschikbare bronnen wijzen consistent op twee hoofdwetten: de ontkenning van een conjunctie is equivalent aan de disjunctie van de ontkenningen, en de ontkenning van een disjunctie is equivalent aan de conjunctie van de ontkenningen. Formuleringen variëren lichtjes, maar het doel blijft het transformeren van uitdrukkingen naar eenvoudiger vormen. Er is verwarring in de bronnen over de oorsprong, met vermeldingen van Augustus De Morgan, George Boole en ten onrechte Thomas Hunt Morgan uit de genetica. De bronnen komen van één website (maestrovirtuale.com), wat geen peer-reviewed of officiële bron is, waardoor de informatie als niet volledig bevestigd moet worden beschouwd.
Hoofdinhoud
Basisprincipes van de Wetten
De wetten van De Morgan stellen dat ¬(A ∧ B) ≡ ¬A ∨ ¬B en ¬(A ∨ B) ≡ ¬A ∧ ¬B. Dit verbindt negatie (¬), conjunctie (∧, 'en') en disjunctie (∨, 'of'). De bronnen benadrukken dat deze regels logische uitdrukkingen vereenvoudigen voor analyse in wiskunde, informatica en elektronica. Een voorbeeld: "A en B" wordt "niet A of niet B". De geldigheid kan via waarheidstabellen worden aangetoond, maar details ontbreken.
Oorsprong en Toepassingen
De wetten worden toegeschreven aan Augustus De Morgan, gepopulariseerd door George Boole, met generalisatie naar verzamelingen. Eén niet-bevestigd fragment koppelt ze aan Thomas Hunt Morgan (genetica, fruitvliegjes), wat incorrect lijkt en wordt genegeerd als onbetrouwbaar. Toepassingen omvatten vereenvoudiging van Booleaanse expressies en bewijs van wiskundig redeneren. In propositielogica helpen ze bij gevolgtrekkingen uit premissen, onderscheidend van drogredenen.
Voorbeelden en Demonstraties
Een demonstratie toont equivalentie van formules via substitutie, maar specifieke formules zijn incompleet (bijv. "AEB" als "niet A OF niet B"). De bronnen vermelden sets en proposities, maar geen volledige oefeningen ondanks de zoekopdracht.
Conclusie
De wetten van De Morgan vereenvoudigen logische uitdrukkingen via negatie-omkering van conjunctie/disjunctie. Door inconsistenties en beperkte diepte in de bronnen blijft dit een basisoverzicht.