logical circuit design week 4: boolean algebra and logic functions mentor hamiti, msc office 305.02,...
TRANSCRIPT
![Page 1: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/1.jpg)
Logical Circuit Design
Week 4:
Boolean Algebra and Logic Functions
Mentor Hamiti, MScOffice 305.02, [email protected] , (044)356-175
![Page 2: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/2.jpg)
2
Last Time
An Introduction To Computer Science
Fundamental Concepts in Computer Science
Algorithms
Digital Systems
Binary Logic
Number Systems
Binary Arithmetic
Binary Codes
![Page 3: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/3.jpg)
3
Contents
Boolean Algebra
Logic (Boolean) Functions
Representations of Boolean Functions
• Switching Circuits
• Truth Tables
• Timing Diagrams
• Venn Diagrams
• K-Diagrams
![Page 4: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/4.jpg)
4
Boolean Algebra
Let B={0, 1},we can define three operations: + , · and ’ on B as follows:
In other words:
The operations + , · and ’ on B={0, 1} are called Boolean sum (the logical OR), Boolean product (the logical AND) and Boolean Complementation (the logical NOT)!
11*1
00*1
01*0
00*0
111
101
110
000
01
10
![Page 5: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/5.jpg)
5
Boolean Algebra
Definition: The set B={0, 1} together with Boolean + , · and ’ is called a Boolean Algebra.
A Boolean expression is a sequence of zeros, ones, and literals separated by Boolean operators.
A literal is a primed (negated) or unprimed variable name. For our purposes, all variable names will be a single alphabetic character (Ex. A, B, C, X, Y, …)
A Boolean function is a specific Boolean expression; we will generally give Boolean functions the name “F” with a possible subscript. For example, consider the following Boolean: F0= AB+C
![Page 6: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/6.jpg)
6
Postulates and Theorems
For any given algebra system, there are some initial assumptions, or postulates, that the system follows. We can deduce additional rules, theorems, and other properties of the system from this basic set of postulates.
Postulates:
Theorems:
0*
*
1*
00*
AA
AAA
AA
A
11
11
0
A
AAA
A
AA AA
11*1
00*1
01*0
00*0
111
101
110
000
01
10
![Page 7: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/7.jpg)
7
Postulates and Theorems
We can prove all other theorems in Boolean algebra using these postulates, but we will not go into the formal proofs of these theorems, however, it is a good idea to familiarize our self with some important theorems in Boolean algebra. A sampling include:
(A + B)’ = A’ • B’ or DeMorgan’s Theorems
(A • B)’ = A’ + B’
A + A•B = AA •(A + B) = AA + A’B = A+BA’ • (A + B’) = A’B’AB + AB’ = A(A’+B’) • (A’ + B) = A’……………………………..
BABA
BABA
![Page 8: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/8.jpg)
8
Dual and Inverse Functions
For every Boolean (Logic) Function:
If in Logic Function the result is Dual Function:
If in Dual Function the result is Inverse Function:
)())) BACBAFcBABAFbCBAFa
01
10
)]([)())()())() BACBAFcBABAFbCBAFa ddd
AA
AA
)]([)())()())() BACBAFcBABAFbCBAFa
![Page 9: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/9.jpg)
9
Representations of Boolean Functions
I. Switching Circuits
II. Truth Tables
III. Timing Diagrams
IV. Venn Diagrams
V. K-Diagrams
![Page 10: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/10.jpg)
10
I. Switching Circuits
Representations of Boolean Functions with Switching Circuits:
A
B
F=A+B
A B
F=A·B
A
F=A
)()
)
)
:
BACBAFc
BABAFb
CBAFa
Ex
![Page 11: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/11.jpg)
11
II. Truth (Combinational) Tables
Representations of Boolean Functions with Combinational Tables:
A F
0 1
1 0
A B F
0 0 0
0 1 0
1 0 0
1 1 1
A B F
0 0 0
0 1 1
1 0 1
1 1 1
BAF BAF AF
)()
)
)
:
BACBAFc
BABAFb
CBAFa
Ex
![Page 12: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/12.jpg)
12
II. Truth (Combinational) Tables
Minterms and Maxterms
The sum of minterms functions form:
The product of Maxterms functions form:
12
0
n
iii mFF
12
0
)(n
iii MFF
![Page 13: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/13.jpg)
13
III. Timing Diagrams
Representations of Boolean Functions with Timing Diagrams:
)()
)
)
:
BACBAFc
BABAFb
CBAFa
Ex
A
B
F
F=A+B
A
B
F
F=A·B
A
F
F=A
t
t
t
t
t
t
t
t
![Page 14: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/14.jpg)
14
IV. Venn Diagrams
Representations of Boolean Functions with Venn Diagrams:
)()
)
)
:
BACBAFc
BABAFb
CBAFa
Ex
F=A+B F=A·B F=A
A B
U
A B
U
A
U
![Page 15: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/15.jpg)
15
V. K-Diagrams
Representations of Boolean Func.with K-Diagrams(Karnaugh Diag):
)()
)
)
:
BACBAFc
BABAFb
CBAFa
Ex
A
B
A
C
A
B
C
A
B
D
A
BA
100 1
0
1
2
3
10
1
0
CAB00 01 11 10
1
00
1
2
3
6
7
4
5
CDAB00 01 11 10
00
01
11
10
0
1
4
5
12
13
8
9
3
2
7
6
15
14
11
10
![Page 16: Logical Circuit Design Week 4: Boolean Algebra and Logic Functions Mentor Hamiti, MSc Office 305.02, m.hamiti@seeu.edu.mk, (044)356-175m.hamiti@seeu.edu.mk](https://reader030.vdocuments.site/reader030/viewer/2022033022/56649e2a5503460f94b17c02/html5/thumbnails/16.jpg)
16
Problems for Bonus Points!!!
Find the following logic functions?
i F1
1 0
2 0
3 1
4 1
5 1
6 1
7 0
8 0
F1=?F2 (A, B, C) = ?