Wetten van De Morgan
Van Wikipedia
De wetten van De Morgan zijn twee wetten in de formele logica die een verband leggen tussen twee logische operatoren en de negatie. Deze relatie wordt ook de dualiteit van De Morgan genoemd.
Augustus De Morgan stelde vast dat de volgende relaties gelden:
ofwel: 
ofwel: 
Een eenvoudig voorbeeld illustreert deze wet:
- P1 = ik heb een fiets
- P2 = ik heb een auto
De als eerste genoemde wet geeft in dit geval: "Zeggen dat het niet waar is dat ik zowel een auto als een fiets heb, is hetzelfde als zeggen dat ik ofwel geen fiets heb ofwel geen auto."
De observatie van De Morgan had een invloed op de algebra ontwikkeld door George Boole, waaruit blijkt dat hij de wet eerder vond dan Boole. Nochtans waren gelijkaardige observaties al gedaan door Aristoteles en was de wet gekend door Griekse en middeleeuwse denkers.
In de formele logica worden de wetten gewoonlijk geschreven als:
en in de verzamelingenleer als:
