De Morgans lagar
Wikipedia
De Morgans lagar är två vanliga regler inom logik och boolesk algebra, uppkallade efter Augustus de Morgan. Enkelt uttryckt innebär de följande:
- inte(P och Q) = (inte P) eller (inte Q)
- inte(P eller Q) = (inte P) och (inte Q)
Med notation från den formella logiken blir det så här:
Reglerna används även inom mängdlära:
De Morgans lagar är användbara inom till exempel digitalteknik och programmering.
Enklaste sättet att bevisa de Morgans lagar för Boolesk algebra är att ställa upp sanningstabeller för uttrycken och man finner då att dessa blir lika.
