Boolske uttrykk, forenkling og De Morgans lover.
Boolsk algebra
Boolsk algebra er eit matematisk system som berre brukar to verdiar: 1 (sant/høg) og 0 (usant/låg). Det er oppkalla etter den engelske matematikaren George Boole (1815–1864), som utvikla reglane for logisk tenking i matematisk form.
I digital elektronikk er boolsk algebra heilt grunnleggjande. Alle digitale kretsar – frå ein enkel lysbrytar til ein avansert prosessor – byggjer på boolske operasjonar. Når vi designar digitale kretsar, brukar vi boolsk algebra til å:
- Skildre kva kretsen skal gjere
- Forenkle uttrykk for å bruke færre komponentar
- Verifisere at kretsen fungerer som ønskt
I dette kapittelet skal du lære:
- Dei tre grunnleggjande boolske operatorane: AND, OR og NOT
- Korleis du set opp sanningstabellar
- De Morgans lover for omskriving av uttrykk
- Forenkling av logiske uttrykk med boolske reglar
Dei tre grunnleggjande boolske operatorane er:
AND (OG) – skrive som · eller ∧
Utgangen er 1 berre når alle inngangane er 1.
| A | B | A · B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
OR (ELLER) – skrive som + eller ∨
Utgangen er 1 når minst éin inngang er 1.
| A | B | A + B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
NOT (IKKJE) – skrive som Ā eller ¬A
Inverterer verdien: 0 blir 1, og 1 blir 0.
| A | Ā |
|---|---|
| 0 | 1 |
| 1 | 0 |
Set opp sanningstabellen for uttrykket Y = A · B + Ā · C, der A, B og C er boolske variablar.
Vi reknar steg for steg for alle moglege kombinasjonar 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 tilfelle: når A=0 og C=1, eller når A=1 og B=1.
Kva er resultatet av det boolske uttrykket 1 · 0 + 1?
Boolsk algebra har fleire nyttige reglar for forenkling:
Identitetsreglar:
- A + 0 = A
- A · 1 = A
Nullreglar:
- A + 1 = 1
- A · 0 = 0
Idempotensreglar:
- A + A = A
- A · A = A
Komplementreglar:
- A + Ā = 1
- A · Ā = 0
Absorpsjonsreglar:
- A + A · B = A
- A · (A + B) = A
Distributive reglar:
- A · (B + C) = A · B + A · C
- A + B · C = (A + B) · (A + C)
Desse reglane kan brukast til å forenkle komplekse uttrykk, slik at vi treng færre logiske portar i kretsen.
Forenkle uttrykket Y = A · B + A · B̄ ved hjelp av boolske reglar.
Y = A · (B + B̄)
Steg 2: Vi brukar komplementregelen B + B̄ = 1:
Y = A · 1
Steg 3: Vi brukar identitetsregelen A · 1 = A:
Y = A
Uttrykket A · B + A · B̄ kan altså forenklast til berre A. Det tyder at kretsen berre treng å sjekke verdien av A – variabelen B spelar inga rolle.
Forenkle uttrykket Y = A · B · C + A · B · C̄ ved hjelp av boolske reglar. Vis kvart steg og oppgje kva regel du brukar.
Første lov:
«NOT av (A AND B) er det same som (NOT A) OR (NOT B)»
Andre lov:
«NOT av (A OR B) er det same som (NOT A) AND (NOT B)»
Praktisk hugseregel: Når du «bryt streken» over eit uttrykk:
- AND (·) blir til OR (+)
- OR (+) blir til AND (·)
- Kvar variabel får sin eigen strek (blir invertert)
De Morgans lover er svært nyttige når vi skal:
- Konvertere mellom NAND/NOR-portar og AND/OR/NOT
- Forenkle uttrykk med inverterte samansette uttrykk
- Verifisere at to kretsar er likeverdige
Bruk De Morgans lov til å skrive om uttrykket Y = til eit uttrykk med berre OR og NOT.
Vi brukar De Morgans første lov utvida til tre variablar:
Forklaring: Vi «bryt streken» – AND blir til OR, og kvar variabel blir invertert.
Verifisering med sanningstabell (for to variablar 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 |
Kolonnane for og Ā + B̄ er identiske, noko som stadfestar De Morgans lov.
Kva er ifølgje 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 kretsar:
- AND (·): Utgangen er 1 berre når alle inngangar er 1
- OR (+): Utgangen er 1 når minst éin inngang er 1
- NOT (Ā): Inverterer verdien – 0 blir 1 og 1 blir 0
- Boolske reglar (identitet, komplement, absorpsjon, distribusjon) blir brukte til å forenkle uttrykk
- De Morgans lover lèt oss konvertere mellom AND/OR med inversjon:
-
-
Nøkkelomgrep
| Omgrep | Forklaring |
|---|---|
| Boolsk algebra | Matematisk system med berre to verdiar: 0 og 1 |
| AND-operator | Gjev 1 berre når alle inngangar er 1 |
| OR-operator | Gjev 1 når minst éin inngang er 1 |
| NOT-operator | Inverterer verdien |
| Sanningstabell | Tabell som viser alle moglege inn/ut-kombinasjonar |
| De Morgans lover | Reglar for å omskrive inverterte AND/OR-uttrykk |
Forenkle uttrykket Y = A · B + Ā · B + A · B̄ ved hjelp av boolske reglar. Vis kvart steg og oppgje kva reglar du brukar. Set opp sanningstabell for å verifisere resultatet.
Eit alarmsystem skal aktiverast (Y=1) dersom vindauget er ope (A=1) OG det er natt (B=1), ELLER dersom døra er open (C=1). Skriv det boolske uttrykket for Y. Set opp sanningstabellen og bruk De Morgans lov til å finne eit uttrykk for når alarmen IKKJE 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.