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.
