Hopp til innhold

Boolsk algebra

Fra Wikipedia, den frie encyklopedi

Boolsk algebra er algebra med variabler som kun kan ha to tilstander eller verdier. Disse refereres vanligvis til som SANT eller USANT. De logiske operasjonene OG, ELLER, og IKKE kan utføres på disse variablene. Boolsk algebra ble oppfunnet av George Boole. Han arbeidet på 1850-tallet med regnestykker hvor variablene bare kunne ha to verdier. Boolsk algebra brukes idag i blant annet elektroniske prosessorer.

Det er vanlig å skrive boolske uttrykk på forskjellige måter. SANT / USANT kan for eksempel skrives som TRUE / FALSE eller 1 / 0. De boolske operasjonene kan skrives rett ut (OG, ELLER, IKKE), eller ved hjelp av tegnene , og . Tegnene «+» og «*» brukes ofte dersom SANT og USANT representeres ved tallene 0 og 1 – da blir operasjonene lik addisjon og multiplikasjon med "vanlige" tall (bortsett fra at 1 + 1 blir 1). Innen programmering er || (ELLER), && (OG) og ! (IKKE) vanlige operatorer.

Formell definisjon

[rediger | rediger kilde]

En boolsk algebra er en seks-tuppel som inneholder en mengde A, utstyrt med to binære operasjoner (OG), (ELLER), en mono-operasjon (IKKE/kompliment) og to elementer 0 and 1, slik at for alle elementer a, b og c i A, gjelder følgende grunnsetninger:

assosiativitet
kommutativitet
absorpsjon
      distributivitet
kompliment

Grunnleggende operasjoner

[rediger | rediger kilde]

Operasjonene OG, ELLER og IKKE har tre grunnleggende regler.

For at et OG-uttrykk skal bli SANT, må begge sider av OG-tegnet være SANT.

SANT SANT = SANT 1 * 1 = 1
SANT USANT = USANT 1 * 0 = 0
USANT SANT = USANT 0 * 1 = 0
USANT USANT = USANT 0 * 0 = 0

For at et ELLER-uttrykk skal bli SANT, må én av sidene på ELLER-tegnet være sant.

SANT SANT = SANT 1 + 1 = 1
SANT USANT = SANT 1 + 0 = 1
USANT SANT = SANT 0 + 1 = 1
USANT USANT = USANT 0 + 0 = 0

IKKE er en operasjon som bare utføres på én variabel.

SANT = USANT !1 = 0
USANT = SANT !0 = 1

Logiske kretser

[rediger | rediger kilde]