̀ ̀
̀ ́ ̣ ươ Ng i tri nh ba y: ̀ Ti n sế ỹ Hoa ng Manh Thă ng
̣ ̣
Mạch logic Mach logic th c hiên ca c ́
́
́
M ạ n g
X1 X2 X3
ượ
̣ ̣ ̣
Y1 Y2 Y3
ự hoat đông trên ca c ti n hiêu sô : ́ Đ c th c hiên d ̣ ươ ́
̣
́
́
́
̣ ̣
́
́
̣ ̣
Xm
Ym
c h u y ể n m ạ c h
́
̣
́ ự i dang ́ ̀ ́ ̣ ử ơ v i gia tri la ca c mach điên t ́ ̀ ơ i han vê ca c biê n ti n hiêu gi ̀ ̣ ơ i rac co gia tri r Mach logic nhi phân chi co 2
́
̣ ̣ ̉
gia tri, 0 va 1
Các giá trị rời rạc
́
̣
̀
̣ ̉ ̉ ̣
̀ Dang tông qua t cua mach logic la mang chuyên mach
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
3
̣ ̉ ̣
́
̀
́ ́
̣ ̣ ̉ ̣
Đại số Boolean ng dung tr c tiê p va o mang chuyên mach: ự ́ ̣ ơ
Ư La m viêc v i thiê t bi 2 trang tha i ́
́ đai sô Boolean 2
̣ ̣ ̣
́
́
̃
̀
̀
̣
Du ng ca c biê n Boolean (X,Y...) đê biêu diê n đâ u va o
̀ ́ gia tri ̀ ̀
̀
̉ ̉
va đâ u ra cua mang chuyên mach
́
́
̉ ̣ ̉ ̣
́ ́
̀
́
́
́
̀
̉ ̉ ̣ ̣ ̣ ̣
Biê n chi co thê nhân môt trong 2 gia tri, 0 hoăc 1 Ca c biê n na y ko phai la ca c sô nhi phân, đ n gian no ́ ́
́
̀
̃
̉ ̣ ̉
ơ chi la biêu diê n 2 trang tha i cua biê n Boolean,
̀
̀
̉ ̉ ̣ ̉
́ , măc du , trong môt sô
́
̀ ́ ư
̣ ̣ ̣
́ ̀
̀
ở
̣ ̣ ̉ ̉ ̣
Nhi n chung, no không la điên a p ́ ́ ̃ ượ c du ng đê biêu diê n m c điên a p mach điên, no đ ̀ ́ cao/thâ p
̀ đâ u va o hoăc đâ u ra,
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
4
̣
̀ ́ ̣ ̉ ̉ ̣
Các biến và các hàm Phâ n t ơ
́ nhi phân đ n gian nhâ t la chuyên mach co 2
̣ ̀ ử trang tha í
Nê u môt chuyên mach đ
́ ̀ ́ ượ ̣ ̉ ̣ ̉ ̣
̀ ́ ́ ́ ̀ ́ ́ ̉ ̣
S
x=0
x=1
x
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
5
ở c điê u khiên b i môt biê n x. Ta no i ră ng, chuyên mach đo ng nê u x=1 va ngă t nê u x=0
̀
̉ ử
̉ ̣ ̉
Các biến và các hàm (cont.) Gia s du ng chuyên mach đê ̀
̀
́
̀
̃
̉
điê u khiên đe n: Đâ u ra đ ̀
c đinh nghi a la trang tha i
̣ ̣
ượ ̀ cua đe n L;
̀
̀
̀
̉
́ ̀ L=1 đe n sa ng, ́ L=0 đe n tă t ̀ Trang tha i cua đe n la ha m cua ́
S
x; L(x)=x ̀
E
̀
L(x): ha m logic x: biê n va o ́
x
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
6
̣ ̉ ̉
Các biến và các hàm (cont.) - AND Xe t tr ́ c du ng đê bât/tă t đe ǹ
̀ ̀ ́ ượ ươ ợ ̉ ̣ ̉ ̣ ng h p 2 chuyên mach đ
Theo ca ch đâ u nô i tiê p thi đe n chi sa ng khi ca 2
̀ ́ ́ ́ ̉ ̉
̀ ̉ ̣ ̀ ́ ́ ượ c đo ng:
S
S
E
x1
x2
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
7
́ chuyên mach cu ng đ L(x1,x2)=x1.x2 L=1 iff x1=1 AND x2=1
Các biến và các hàm (cont.) - OR
Xe t tr ́ đe ǹ
̀ ̀ ́ ươ ợ ượ ̉ ̣ ̉ ̣ ng h p 2 chuyên mach đ c du ng đê bât/tă t
́ ́ ̉
Theo ca ch đâ u song song thi đe n chi sa ng khi 1 trong ̀ ̀ ́ ượ c đo ng:
S
̉ ̣ ̣ ̉
x1
S
E
x2
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
8
́ 2 chuyên mach, hoăc ca 2 đ L(x1,x2)=x1+x2 L=1 if x1=1 OR x2=1
Các biến và các hàm (cont.) –
nối hỗn hợp AND và OR ́ ợ
Nô i hô n h p se cho ra ca c ha m logic đa dang
L(x1,x2)=(x1+x2 ) x3
S
S
x1
x3
S
E
x2
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
9
̃ ̃ ́ ̀ ̣
Các biến và các hàm (cont.) –
nối hỗn hợp AND và OR
Ha m logic gi đây ?
S
S
x3
x1
S
S
E
x3
x2
L(x1,x2,x3,x4)=(x1x2 )+( x3 x4)
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
10
̀ ̀
Các biến và các hàm (cont.) – NOT
Nh đa thâ y, đe n sa ng khi x=1, vây bây gi ́
́ ̃ ̀ ơ ượ ̣ ̀ ng c
̣ ư lai thì :
L(x)=1 if x=0 va ̀ L(x)=0 if x=1 Hay L(x)=x’
̣ ̉ Nghich đao
x Ky hiêu: ́ , x’, hay NOT x
R
E
S
x
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
11
̣
Các biến và các hàm (cont.) – Nghịch đảo của hàm Co ́ thi nghich đao cua ha m f() se ̃ ̀
̀ ̣ ̉ ̉
la :̀
Vi du: ́
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
12
̣
6f (x1; ::)
f (x1; x2) = x1 + x2 ¡ ¡ >6f (x1; x2) =6x1 + x2
̣ ̉ ̉ ̉ ̉ ̣
̀ ̀ ̀ ́ ́ ̀ ́ ̀ ̉ ợ ̣ ̉ ̉ ̉
Bảng trân lý (truth table) Liêt kê tha nh bang đê mô ta đâ y đu cho môt ha m logic Gia tri kê t qua cua ha m la tô h p cua ca c đâ u va o ̀ ̀
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
13
Bảng trân lý (truth table) – Hàm 3 biến
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
14
́ ̉ ượ ̣
́ ́ ̣ ̣ ̣ ̣ ̣ ̉ ự c th c hiên ̀ c goi la công
Cổng logic và mạng Ca c phe p AND, OR hay NOT co thê đ ́ ̀ ̀ ượ bă ng mach điên, va mach điên đo đ logic
Công logic co thê co nhiê u đâ u va o, môt đâ u ra la ̀ ̀
̀ ̀ ̀ ́ ̉ ̉ ̣
AND gates
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
15
̀ ̀ ̉ ́ ̀ ́ ha m cua ca c đâ u va o
Cổng logic và mạng
OR gates
NOT gates
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
16
́ ́ ự ̣ ̉ c xây d ng d a trên ca c công logic
̀ ̀ ̣ ̣ ̣
Cổng logic và mạng Mach l n h n đ ơ ượ ơ ượ ơ ̉ c ban va đ
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
17
ự c goi la mang logic hay mach logic
̃ ̃ ̀ ̉ ̣
Cổng logic và mạng Ve bang trân ly va ve mach logic cho ha m ̀ ́
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
18
ệ i c a thi
̀ ́ ̉ ̉ ̣ ̣
ượ ạ ủ c l ́ ư ̀ ̀ ̀ ́ ́ ượ ư ̉ ̉ ̉
Phân tích mạng logic Phân tích là vi c ng ế ế t k Đê phân ti ch ha m ch c năng cua môt mang logic, tâ t ́ c đ a va o đê lâ y kê t
f(x1,x2)=x1x2+\x1
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
19
̉ ́ ca ca c kha năng đâ u va o đ qua ra.
̀ ́ ̀ ̉ ̉
Phân tích mạng logic (cont.) Đê phân ti ch, ca c biê n đâ u va o va đâ u ra co thê ̀
Khoa ĐT-VT, Đại học Bách Khoa Hà nội Tiến sỹ Hoàng Mạnh Thắng
20
̃ ̀ ̀ ̀ ơ ượ ̉ ̣ ̉ ́ ́ ươ c biêu diê n d ́ ́ i dang biêu đô th i gian đ