Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Dr Amber Habib
Mathematical Sciences Foundation
St. Stephen’s College
Delhi 110007
Algebra of Sets 1
• Idempotent Law: A ∪ A = A ∩ A = A.
• Commutative Law:
A ∪ B = B ∪ A, A ∩ B = B ∩ A.
• Associative Law:
A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∩ C) = (A ∩ B) ∩ C
• Distributive Law:
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
1
Algebra of Sets 2
• A ∪ ∅ = A, A ∩ ∅ = ∅.
• A ∪ X = X, A ∩ X = A.
• A ∪ A0 = X, A ∩ A0 = ∅.
2
Algebra of Logic 1
• Idempotent Law: A ∨ A = A ∧ A = A.
• Commutative Law:
A ∨ B = B ∨ A, A ∧ B = B ∧ A.
• Associative Law:
A ∨ (B ∨ C) = (A ∨ B) ∨ C
A ∧ (B ∧ C) = (A ∧ B) ∧ C
• Distributive Law:
A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)
A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)
3
Algebra of Logic 2
• A ∨ F = A, A ∧ F = F .
• A ∨ T = T , A ∧ T = A.
• A ∨ ¬A = T , A ∧ ¬A = F .
4
Boolean Algebras
• An operation 0 (“complement”),
5
Laws of Boolean Algebra
• Idempotent Law: a ∨ a = a ∧ a = a.
• Commutative Law:
a ∨ b = b ∨ a, a ∧ b = b ∧ a.
• Associative Law:
a ∨ (b ∨ c) = (a ∨ b) ∨ c
a ∧ (b ∧ c) = (a ∧ b) ∧ c
• Distributive Law:
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
• a ∨ 0 = a, a ∧ 0 = 0.
• a ∨ 1 = 1, a ∧ 1 = a.
• a ∨ a0 = 1, a ∧ a0 = 0.
6
The Simplest Example
• 0∧0=0∨0=
1∧1=1∨1=
• 0∧1=
0∨1=
• 00 =
10 =
7
The Simplest Example
• 0 ∧ 0 = 0 ∨ 0 = 0,
1 ∧ 1 = 1 ∨ 1 = 1.
• 0∧1=
0∨1=
• 00 =
10 =
8
The Simplest Example
• 0 ∧ 0 = 0 ∨ 0 = 0,
1 ∧ 1 = 1 ∨ 1 = 1.
• 0 ∧ 1 = 0,
0 ∨ 1 = 1.
• 00 =
10 =
9
The Simplest Example
• 0 ∧ 0 = 0 ∨ 0 = 0,
1 ∧ 1 = 1 ∨ 1 = 1.
• 0 ∧ 1 = 0,
0 ∨ 1 = 1.
• 00 = 1,
10 = 0.
10
The Simplest Example 2
• 0=∅
• 1=X
11
Absorption Law
a ∧ (a ∨ b) = a ∨ (a ∧ b) = a.
12
Absorption Law
a ∧ (a ∨ b) = a ∨ (a ∧ b) = a.
Proof. First, by Distributive Law,
a ∧ (a ∨ b) = (a ∧ a) ∨ (a ∧ b) = a ∨ (a ∧ b).
13
Absorption Law
a ∧ (a ∨ b) = a ∨ (a ∧ b) = a.
Proof. First, by Distributive Law,
a ∧ (a ∨ b) = (a ∧ a) ∨ (a ∧ b) = a ∨ (a ∧ b).
Then,
a ∧ (a ∨ b) = [a ∧ (a ∨ b)] ∨ [b ∧ b0]
14
Absorption Law
a ∧ (a ∨ b) = a ∨ (a ∧ b) = a.
Proof. First, by Distributive Law,
a ∧ (a ∨ b) = (a ∧ a) ∨ (a ∧ b) = a ∨ (a ∧ b).
Then,
a ∧ (a ∨ b) = [a ∧ (a ∨ b)] ∨ [b ∧ b0]
= (a ∨ b) ∧ (a ∨ b0) ∧ (a ∨ b ∨ b)
∧(a ∨ b ∨ b0)
15
Absorption Law
a ∧ (a ∨ b) = a ∨ (a ∧ b) = a.
Proof. First, by Distributive Law,
a ∧ (a ∨ b) = (a ∧ a) ∨ (a ∧ b) = a ∨ (a ∧ b).
Then,
a ∧ (a ∨ b) = [a ∧ (a ∨ b)] ∨ [b ∧ b0]
= (a ∨ b) ∧ (a ∨ b0) ∧ (a ∨ b ∨ b)
∧(a ∨ b ∨ b0)
= (a ∨ b) ∧ (a ∨ b0) ∧ 1
= (a ∨ b) ∧ (a ∨ b0)
= a ∨ (b ∧ b0)
= a ∨ 1 = a.
16
Cancellation Law
a∨b = a∨c
a ∧ b = a ∧ c.
Then b = c.
17
Cancellation Law
a∨b = a∨c
a ∧ b = a ∧ c.
Then b = c.
b = b ∧ (a ∨ b)
18
Cancellation Law
a∨b = a∨c
a ∧ b = a ∧ c.
Then b = c.
b = b ∧ (a ∨ b)
= b ∧ (a ∨ c)
= (a ∧ b) ∨ (b ∧ c)
= (a ∧ c) ∨ (b ∧ c)
= c ∧ (a ∨ b)
= c ∧ (a ∨ c) = c.
19
Uniqueness of Complement
a∨b = 1
a ∧ b = 0.
Then b = a0.
20
Uniqueness of Complement
a∨b = 1
a ∧ b = 0.
Then b = a0.
Proof. We have
a ∨ b = a ∨ a0 = 1
a ∧ b = a ∧ a0 = 0.
Hence, by the Cancellation Law, b = a0.
Corollary: a00 = a.
Corollary: 00 = 1, 10 = 0.
21
De Morgan’s Laws
• (a ∨ b)0 = a0 ∧ b0.
• (a ∧ b)0 = a0 ∨ b0.
22
De Morgan’s Laws
• (a ∨ b)0 = a0 ∧ b0.
• (a ∧ b)0 = a0 ∨ b0.
23
Switching Circuits 1
a
|
a
• Each mark, such as | represents a
switch (in this case, named a).
24
Switching Circuits 2
a b
| |
b0
|
a
|
The specific question is: How do the states
of the individual switches affect the state of
the entire circuit? Or, which combinations
of states of individual switches lead to the
entire circuit being “on” (current can pass
from one end to the other) or “off” (current
cannot pass).
a b0
| |
25
Series Connection
a b
| | a∧b
Parallel Connection
a
|
a∨b
b
|
26
Series Connection
a b
| | a∧b
Parallel Connection
a
|
a∨b
b
|
A Series-Parallel Circuit
a b
| |
b0
|
a
|
27
Series Connection
a b
| | a∧b
Parallel Connection
a
|
a∨b
b
|
A Series-Parallel Circuit
a b
| |
b0
|
a
|
((a ∧ b) ∨ a) ∧ b0
28
Series-Parallel Circuits
A B
A B A∧B
Or in parallel:
A
A∨B
B
29
The Algebra of Switching Circuits 1
• Idempotent Law: A ∨ A = A ∧ A = A.
A
A A = = A
A
• Commutative Law:
A ∨ B = B ∨ A, A ∧ B = B ∧ A.
• Associative Law:
A ∨ (B ∨ C) = (A ∨ B) ∨ C
A ∧ (B ∧ C) = (A ∧ B) ∧ C
30
The Algebra of Switching Circuits 2
Distributive Law
• A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)
B A B
| | |
A
| =
C A C
| | |
• A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)
A A A
| | |
=
B C B C
| | | |
31
The Algebra of Switching Circuits 3
Zero, Unity, Complements
• A ∨ 0 = A, A ∧ 0 = 0.
• A ∨ 1 = 1, A ∧ 1 = A.
• A ∨ A0 = 1
• A ∧ A0 = 0
32
The Boolean Algebra of Switching Circuits
a b
| |
b0 a b0
| = | |
a
|
This can be derived by algebra:
((a ∧ b) ∨ a) ∧ b0 = a ∧ b0,
by the Absorption Law.
33
Switching Circuits and Truth-Tables
a b a ∧ b0
ab 0 1 0 0 0
0 0 0 or 0 1 0
1 1 0 1 1 0
1 0 1
a b a ∧ b0
ab 0 1 0 0 1
0 1 0 or 0 1 0
1 0 1 1 1 1
1 0 0
34
Karnaugh Maps
35
Karnaugh Maps For Two Switches
a0 ∧ b0 a ∧ b0
ab 0 1 ab 0 1
0 1 0 0 0 0
1 0 0 1 1 0
a b0
ab 0 1 ab 0 1
0 0 0 0 1 0
1 1 1 1 1 0
(a0 ∧ b0) ∨ (a ∧ b) a0 ∨ b0
ab 0 1 ab 0 1
0 1 0 0 1 1
1 0 1 1 1 0
1 0
ab 0 1 ab 0 1
0 1 1 0 0 0
1 1 1 1 0 0
36
Karnaugh Maps For Two Switches 2
1 1 ⇒ a0
ab 0 1
0 1 1
1
1 1 0 ⇒ b0
1
abc 00 01 11 10
0
1
Example 1:
abc 00 01 11 10
0 1 1 1
1 1
1
1 1 ⇒ a0 ∧ c ⇒ b0 ∧ c0
1
38