Alle fag › Diskret matematikk › De Morgans lover

De Morgans lover

De Morgans lover viser hvordan ikke fordeler seg over og og eller. Ikke (A og B) er det samme som (ikke A) eller (ikke B). Lovene brukes både i logikk, i mengdelære og når man forenkler betingelser i programkode.

¬(p∧q)≡¬p∨¬q\lnot(p \land q) \equiv \lnot p \lor \lnot qførste lov
¬(p∨q)≡¬p∧¬q\lnot(p \lor q) \equiv \lnot p \land \lnot qandre lov

Symboler

p, qp,\ qutsagn

Eksempel

«Ikke (lørdag eller søndag)» er det samme som «ikke lørdag og ikke søndag», altså en ukedag.

Når ikke flyttes inn i parentesen, bytter og og eller plass.
Øv på logikk og mengder gratis →

← Utsagnslogikk · Mengder →

Del av Diskret matematikk: Logikk og mengder.