Booleska ringar och Boolesk algebra

Sammanfattning
Föreläsning 6 - Digitalteknik
I boken: avsnitt 3.3 (kap 3 i Hemert)
Booleska ringar och Boolesk algebra
Målet med dagens föreläsning är att visa hur Boolesk algebra kan användas för att beskriva och
omformulera de Boolska funktioner som vi tidigare har stött på vid konstruktion av sekvensnät.
Denition.
Ett element
Denition (3.8).
En
Theorem (3.16).
Om
a
(R, +, ·)
i en ring
Boolesk ring
(B, +, ·)
kallas
idempotent
om
a2 = a.
är en ring där alla element är idempotenta.
är en Boolesk ring och
a∈B
så måste
a+a=0
Vi säger att
(6=
0)
karakteristiken är 2.
måste adderas för att få
Karakteristiken denieras som minsta antal gånger ett element
0.
Alla element är sina egna inverser, −a = a. Alltså, minus och plus är detsamma.
Theorem (3.17).
En Boolesk ring
(B, +, ·)
är en kommutativ ring. Alltså, om
a, b ∈ B
så är
a · b = b · a.
Vi introducerar nu Boolesk algebra som härstammar från George Booles arbete år 1854 om
satslogik.
Denition (3.9).
Boolesk algebra (B, ∧, ∨,0 ) består av en mängd B och tre operationer
AND (∧), OR (∨), och NOT (0 ), där följande gäller:
En
a∧1=a
a∨0=a
0
a ∨ a0 = 1
a∧a =0
a∧b=b∧a
a∨b=b∨a
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
B = {0, 1} och ∧, ∨,0 denierade som de AND, OR, NOT grindar vi tidigare introducerat ger
oss en Boolesk algebra.
En Boolesk ring och en Boolesk algebra är ekvivalenta begrepp, enligt följande:
Theorem.
Om
(B, +, ·)
är en Boolesk ring, så ges de Booleska operationerna AND, OR, och
NOT av
a∧b=a·b
AND
a∨b=a+b+a·b
OR
0
a =1+a
NOT
Ringoperationerna ges på motsvarande sätt av
Theorem.
Om
(B, ∧, ∨,0 )
är en Boolesk algebra, så ges operationerna
+
och
·
av
a·b=a∧b
a + b = (a ∧ b0 ) ∨ (a0 ∧ b)
En användbar observation är den så kallade dualitetsprincipen:
Theorem (3.18).
Med varje ekvation med
0, 1, ∧, ∨,
och
0 i en Boolesk algebra
(B, 0, 1, ∧, ∨,0 )
så får vi en ny korrekt ekvation om vi byter operationerna enligt:
0⇔1
∧⇔∨
Sammanfattning av regler för Boolesk algebra:
00 = 1
10 = 0
a00 = a
a0 = 0
a∨1=1
a1 = a
a∨0=a
0
a ∨ a0 = 1
aa = 0
(Idempotent)
aa = a
(de Morgan)
(ab)0 = a0 ∨ b0
(Kommutativ)
ab = ba
(Associativ)
a(bc) = (ab)c
(Distributiv) a(b ∨ c) = ab ∨ ac
a∨a=a
(a ∨ b)0 = a0 b0
a∨b=b∨a
a ∨ (b ∨ c) = (a ∨ b) ∨ c
a ∨ bc = (a ∨ b)(a ∨ c)
(Absorbtion) a ∨ ab = a
(Konsensus) ab ∨ a0 c = ab ∨ a0 c ∨ bc
a(a ∨ b) = a
(a ∨ b)(a0 ∨ c) = (a ∨ b)(a0 ∨ c)(b ∨ c)
En metod för att göra ett Booleskt uttryck mindre är
alla konsensus termer,
iterativ konsensus.
Expandera först med
ab ∨ a0 c = ab ∨ a0 c ∨ bc.
Förenkla sedan med absorbtion,
a ∨ ab = a.
Mängdlära
Denition.
U . Snittet of M och N är M ∩ N = {x | x ∈
M and x ∈ N }; unionen av M och N är M ∪ N = {x | x ∈ M or x ∈ N }; komplementet av
M är M0 = {x | x ∈ U and x 6∈ M}; och potensmängden av U är P(U) = {X | X ⊆ U}.
Låt
M
Theorem (3.21).
1 =
U.
och
N
vara delmängder av
Det algebraiska systemet
(P(U), ∩, ∪,0 )
är en Boolesk algebra med 0 =
∅
och