Boolske uttrykk, forenkling og De Morgans lover.
Boolsk algebra
Boolsk algebra er et matematisk system som bare bruker to verdier: 1 (sant/høy) og 0 (usant/lav). Det er oppkalt etter den engelske matematikeren George Boole (1815–1864), som utviklet reglene for logisk tenkning i matematisk form.
I digital elektronikk er boolsk algebra helt grunnleggende. Alle digitale kretser – fra en enkel lysbryter til en avansert prosessor – bygger på boolske operasjoner. Når vi designer digitale kretser, bruker vi boolsk algebra til å:
- Beskrive hva kretsen skal gjøre
- Forenkle uttrykk for å bruke færre komponenter
- Verifisere at kretsen fungerer som ønsket
I dette kapittelet skal du lære:
- De tre grunnleggende boolske operatorene: AND, OR og NOT
- Hvordan du setter opp sannhetsttabeller
- De Morgans lover for omskriving av uttrykk
- Forenkling av logiske uttrykk med boolske regler
De tre grunnleggende boolske operatorene er:
AND (OG) – skrevet som · eller ∧
Utgangen er 1 bare når alle inngangene er 1.
| A | B | A · B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
OR (ELLER) – skrevet som + eller ∨
Utgangen er 1 når minst én inngang er 1.
| A | B | A + B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
NOT (IKKE) – skrevet som Ā eller ¬A
Inverterer verdien: 0 blir 1, og 1 blir 0.
| A | Ā |
|---|---|
| 0 | 1 |
| 1 | 0 |
Sett opp sannhetstabellen for uttrykket Y = A · B + Ā · C, der A, B og C er boolske variabler.
Vi beregner steg for steg for alle mulige kombinasjoner av A, B og C:
| A | B | C | Ā | A·B | Ā·C | Y = A·B + Ā·C |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 | 1 | 0 | 1 |
Uttrykket Y er 1 i fire tilfeller: når A=0 og C=1, eller når A=1 og B=1.
Hva er resultatet av det boolske uttrykket 1 · 0 + 1?
Boolsk algebra har flere nyttige regler for forenkling:
Identitetsregler:
- A + 0 = A
- A · 1 = A
Nullregler:
- A + 1 = 1
- A · 0 = 0
Idempotensregler:
- A + A = A
- A · A = A
Komplementregler:
- A + Ā = 1
- A · Ā = 0
Absorpsjonsregler:
- A + A · B = A
- A · (A + B) = A
Distributive regler:
- A · (B + C) = A · B + A · C
- A + B · C = (A + B) · (A + C)
Disse reglene kan brukes til å forenkle komplekse uttrykk, slik at vi trenger færre logiske porter i kretsen.
Forenkle uttrykket Y = A · B + A · B̄ ved hjelp av boolske regler.
Y = A · (B + B̄)
Steg 2: Vi bruker komplementregelen B + B̄ = 1:
Y = A · 1
Steg 3: Vi bruker identitetsregelen A · 1 = A:
Y = A
Uttrykket A · B + A · B̄ kan altså forenkles til bare A. Det betyr at kretsen bare trenger å sjekke verdien av A – variabelen B spiller ingen rolle.
Forenkle uttrykket Y = A · B · C + A · B · C̄ ved hjelp av boolske regler. Vis hvert steg og oppgi hvilken regel du bruker.
Første lov:
«NOT av (A AND B) er det samme som (NOT A) OR (NOT B)»
Andre lov:
«NOT av (A OR B) er det samme som (NOT A) AND (NOT B)»
Praktisk huskeregel: Når du «bryter streken» over et uttrykk:
- AND (·) blir til OR (+)
- OR (+) blir til AND (·)
- Hver variabel får sin egen strek (inverteres)
De Morgans lover er svært nyttige når vi skal:
- Konvertere mellom NAND/NOR-porter og AND/OR/NOT
- Forenkle uttrykk med inverterte sammensatte uttrykk
- Verifisere at to kretser er likeverdige
Bruk De Morgans lov til å skrive om uttrykket Y = til et uttrykk med bare OR og NOT.
Vi bruker De Morgans første lov utvidet til tre variabler:
Forklaring: Vi «bryter streken» – AND blir til OR, og hver variabel inverteres.
Verifisering med sannhetstabell (for to variabler som eksempel):
| A | B | A·B | Ā | B̄ | Ā + B̄ | |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Kolonnene for og Ā + B̄ er identiske, noe som bekrefter De Morgans lov.
Hva er ifølge De Morgans lov?
Forenkle uttrykket Y = ved hjelp av De Morgans lov. Vis alle steg.
Oppsummering
I dette kapittelet har du lært om boolsk algebra – det matematiske fundamentet for alle digitale kretser:
- AND (·): Utgangen er 1 bare når alle innganger er 1
- OR (+): Utgangen er 1 når minst én inngang er 1
- NOT (Ā): Inverterer verdien – 0 blir 1 og 1 blir 0
- Boolske regler (identitet, komplement, absorpsjon, distribusjon) brukes til å forenkle uttrykk
- De Morgans lover lar oss konvertere mellom AND/OR med inversjon:
-
-
Nøkkelbegreper
| Begrep | Forklaring |
|---|---|
| Boolsk algebra | Matematisk system med bare to verdier: 0 og 1 |
| AND-operator | Gir 1 bare når alle innganger er 1 |
| OR-operator | Gir 1 når minst én inngang er 1 |
| NOT-operator | Inverterer verdien |
| Sannhetstabell | Tabell som viser alle mulige inn/ut-kombinasjoner |
| De Morgans lover | Regler for å omskrive inverterte AND/OR-uttrykk |
Forenkle uttrykket Y = A · B + Ā · B + A · B̄ ved hjelp av boolske regler. Vis hvert steg og oppgi hvilke regler du bruker. Sett opp sannhetstabell for å verifisere resultatet.
Et alarmsystem skal aktiveres (Y=1) dersom vinduet er åpent (A=1) OG det er natt (B=1), ELLER dersom døren er åpen (C=1). Skriv det boolske uttrykket for Y. Sett opp sannhetstabellen og bruk De Morgans lov til å finne et uttrykk for når alarmen IKKE er aktiv ().
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.