Boolean Algebra
Reference: Introduction to Digital Systems
Miloš Ercegovac, Tomás Lang, Jaime H. Moreno Pages: 480-487
Boolean Algebra Reference: Introduction to Digital Systems Milo - - PowerPoint PPT Presentation
Boolean Algebra Reference: Introduction to Digital Systems Milo Ercegovac, Toms Lang, Jaime H. Moreno
Miloš Ercegovac, Tomás Lang, Jaime H. Moreno Pages: 480-487
A Boolean Algebra is a 3-tuple {B , + , · }, where
satisfying the following axioms:
I. a + b = b + a II. a · b = b · a
“times” / ”AND” “plus” / ”OR”
I. a + (b · c) = (a+ b) ·(a + c) II. a · (b + c) = (a · b) + (a · c)
identity elements, denoted as 0 and 1, such that for every element a B I. a + 0 = 0 + a = a II. a · 1 = 1 · a = a
multiplicative identity element additive identity element
exists an element a’ such that I. a + a’ = 1 II. a · a’ = 0
the complement of a
Precedence ordering:
For example: a + (b · c) = a + bc
Proof: By satisfying the axioms of Boolean algebra:
B = {0 , 1} , 0 1 and |B| 2. 1 1 1 AND 1 1 1 1 1 OR closure
1 1 1 AND 1 1 1 1 1 OR
Symmetric about the main diagonal
1 1 111 1 1 110 1 1 101 1 1 100 1 1 011 010 001 000 (a + b )(a + c) a + bc abc 1 1 111 1 1 110 1 1 101 100 011 010 001 000 ab + ac a(b + c) abc
* Alternative proof of the distributive laws: Claim: (follow directly from operators table)
AND( 1 , x ) = x
OR( 0 , x ) = x Consider the distributive law of ( · ): AND( a , OR( b , c ) ) = OR( AND( a , b ) , AND( a , c ) ) a = 0 : AND( 0 , OR( b , c ) ) = OR( AND( 0 , b ) , AND( 0 , c ) ) a = 1 : AND( 1 , OR( b , c ) ) = OR( AND( 1 , b ) , AND( 1 , c ) ) b c OR( b , c ) OR( b , c )
Consider the distributive law of ( + ): OR( a , AND( b , c ) ) = AND( OR( a , b ) , OR( a , c ) ) a = 0 : OR( 0 , AND( b , c ) ) = AND( OR( 0 , b ) , OR( 0 , c ) ) b c AND( b , c ) AND( b , c ) a = 1 : OR( 1 , AND( b , c ) ) = AND( OR( 1 , b ) , OR( 1 , c ) ) 1 1 1 1 Why have we done that?! For complex expressions truth tables are not an option.
0 + 1 = 1 + 0 = 1 0 · 1 = 1 · 0 = 0 0 – additive identity 1 – multiplicative identity
1 1 1 1 a · a’ a + a’ a’ a
All axioms are satisfied Switching algebra is Boolean algebra.
Proof: Let a B. Assume that a1’ and a2’ are both complements of a, (i.e. ai’ + a = 1 & ai’ · a = 0), we show that a1’ = a2’ .
1 1
1
1 1
1 1
1
1 a
a2’ is the complement of a distributivity commutativity a1’ is the complement of a Identity
2 1 1 2 2
1
Example: c b a a’ ( a’ + 0 ) ( ( a’ + 0 ) · c ) ( b + a ) ( ( a’ + 0 ) · c ) + ( b + a )’ ) ( b + a )’ a
Example: ( ( a + b ) + ( a’ · b’ ) ) · 1 ( ( a · b ) · ( a’ + b’ ) ) + 0
I. a + b = b + a II. a · b = b · a
I. a + (b · c) = (a+ b) ·(a + c) II. a · (b + c) = (a · b) + (a · c)
elements, denoted as 0 and 1, such that for every element a B I. a + 0 = 0 + a = a II. a · 1 = 1 · a = a
element a’ such that I. a + a’ = 1 II. a · a’ = 0
Proof: (1)
a’ is the complement of a distributivity Identity a’ is the complement of a
(2) we can do the same way:
a’ is the complement of a distributivity Identity a’ is the complement of a Note that:
the same arguments, but applying the dual axiom in each step.
For example: ( a + b ) + a’ · b’ = 1 ( a · b ) · ( a’ + b’ ) = 0 Correctness by the fact that each axiom has a dual axiom as shown
1 2 1
Proof: By Theorem 3, 0 + 1 = 1 and 0 · 1 = 0 By the uniqueness of the complement, the Theorem follows.
Proof: (1)
a’ is the complement of a distributivity Identity a’ is the complement of a (2) duality.
Proof:
Proof: home assignment.
Proof: (1)
a’ is the complement of a Identity (2) duality.
Proof: home assignment (hint: prove that both sides in (1) equal [ ( a + b ) + c ] · [ a + ( b + c ) ] .)
Proof: home assignment.
b a c b a
Induction basis: follows from DeMorgan’s Law
Induction hypothesis: DeMorgan’s law is true for n elements. Induction step: show that it is true for n+1 elements. Let a , b , . . . , c be the n elements, and d be the (n+1)st element. Associativity DeMorgan’s Law
The symbols a, b, c, . . . appearing in theorems and axioms are generic variables Can be substituted by complemented variables or expressions (formulas) For example:
b b a a
b a a
Consider a set S. B = all the subsets of S (denoted by P(S)).
“plus” set-union U “times” set-intersection Additive identity element – empty set Ø Multiplicative identity element – the set S. P(S) has 2|S| elements, where |S | is the number of elements of S
Elements of B are T and F (true and false). “plus” Logical OR “times” Logical AND
Additive identity element – F Multiplicative identity element – T