emlaai_traloidi2000
New Member
Download miễn phí Giáo trình toàn tập Tự động đo lường
Phương pháp biểu diễn biểu thức đại số:
Bất kỳtrong một hàmlogic n biến nào cũng có thểbiểu diễn thành các hàmcó
tổng chuẩn đầy đủvà tích chuẩn đầy đủ.
a) Cách viết dưới dạng tổng chuẩn đầy đủ(chuẩn tắc tuyển):
- Chỉquan tâm đến những tổhợp biến màhàmcó giá trịbằng một.
- Trong một tổhợp (đầy đủbiến) các biến có giá trịbằng 1 thì giữnguyên (xi).
- Hàm tổng chuẩn đầy đủsẽlà tổng chuẩn đầy đủcác tích đó.
Để tải bản Đầy Đủ của tài liệu, xin Trả lời bài viết này, Mods sẽ gửi Link download cho bạn sớm nhất qua hòm tin nhắn.
Ai cần download tài liệu gì mà không tìm thấy ở đây, thì đăng yêu cầu down tại đây nhé:
Nhận download tài liệu miễn phí
Tóm tắt nội dung tài liệu:
Chương 0: Lý thuyết cơ sở Bộ môn Tự Động Đo Lường – Khoa ĐiệnCHƯƠNG 0: LÝ THUYẾT CƠ SỞ (3T)
0.1. Khái niệm về logic trạng thái:
+ Trong cuộc sống hàng ngày những sự vật hiện tượng đập vào mắt chúng ta như:
có/không; thiếu/đủ; còn/hết; trong/đục; nhanh/chậm...hai trạng thái này đối lập
nhau hoàn toàn.
+ Trong kỹ thuật (đặc biệt kỹ thuật điện - điều khiển) Æ khái niệm về logic hai
trạng thái: đóng /cắt; bật /tắt; start /stop…
+ Trong toán học để lượng hoá hai trạng thái đối lập của sự vật hay hiện tượng
người ta dùng hai giá trị 0 &1 gọi là hai giá trị logic.
Æ Các nhà khoa học chỉ xây dựng các “hàm“ & “biến“ trên hai giá trị 0 &1 này.
Æ Hàm và biến đó được gọi là hàm & biến logic.
Æ Cơ sở để tính toán các hàm & số đó gọi là đại số logic.
Æ Đại số này có tên là Boole (theo tên nhà bác học Boole).
0.2. Các hàm cơ bản của đại số logic và các tính chất cơ bản của chúng:
B0.1_ hàm logic một biến:
Tên hàm Bảng chân lý Kí hiệu sơ đồ Ghi chú
x 0 1
Thuật toán
logic kiểu rơle kiểu khối điện tử
Y0 = 0 Hàm không Y0 0 0 Y0 = x x
Hàm luôn
bằng 0
Hàm lặp Y1 0 1 Y1 =
Hàm đảo Y2 1 0 Y2 = x
Y3 = 1 Hàm đơn vị Y3 1 1 Y3 = x + x
Hàm luôn
bằng 1
B 0.2_ Hàm logic hai biến y = f(x1 ,x2 )
Hàm hai biến, mỗi biến nhận hai giá trị 0 &1, nên có 16 giá trị của hàm từ y0 → y15.
Bảng chân lý Kí hiệu sơ đồ
x1 0 0 1 1 Tên hàm
x2 0 1 0 1
Thuật toán
logic Kiểu rơle Kiểu khối điện tử
Ghi chú
Hàm
không Y0 0 0 0 0
Y0 = x1. x 2+
x 1 .x2
Hàm luôn
bằng 0
Hàm và
Y1 0 0 0 1
Y1 = x1.x2
Hàm cấm
x1
Y2 0 0 1 0 Y2 = x1 . x 2
Biên soạn: Lâm Tăng Đức - Nguyễn Kim Ánh 1
Chương 0: Lý thuyết cơ sở Bộ môn Tự Động Đo Lường – Khoa Điện
Hàm lặp
x1
Y3 0 0 1 1 Y3 = x1
Hàm cấm
x2
Y4 0 1 0 0 Y4 = x 1. x2
Hàm lặp
x2
Y5 0 0 1 1 Y5 = x2
Y6 = x 1. x2+
x1 . x 2 Hàm hay
loại trừ Y6 0 1 1 0
Y6 =x1 ⊕ x2
Cộng
module
Hàm hay Y7 0 1 1 1 Y7 = x1 + x2
Hàm piec Y8 1 0 0 0 Y8 = x 1 . x 2
Hàm cùng
dấu Y9 0 1 1 1 Y9= 21 xx ⊕
Hàm đảo
x1
Y10 1 1 0 0 Y10 = x 1
Hàm kéo
theo x1
Y11 1 0 1 1 Y11 = x 2 + x1
Hàm đảo
x2
Y12 1 0 1 0 Y12 = x 2
Hàm kéo
theo x2
Y13 1 1 0 1 Y13 = x 1 + x2
Hàm
cheffer Y14 1 1 1 0 Y14 = x 1 + x 2
Hàm đơn
vị Y15 1 1 1 1 Y15 = x 1 +x1
x1
x2
0 1
0 1 0
1 1 1
Y13 = x 1 + x2
x1
x2
0 1
0 1 0
1 1 0
Y12 = x 2
x1
x2
0 1
0 1 1
1 1 1
Y15 = 1
x1
x2
0 1
0 1 1
1 1 0
Y14 = x 1 + x 2
Biên soạn: Lâm Tăng Đức - Nguyễn Kim Ánh 2
Chương 0: Lý thuyết cơ sở Bộ môn Tự Động Đo Lường – Khoa Điện
x1
x2
0 1
0 1 1
1 0 1
Y11 = x 2 + x1
x1
x2
0 1
0 1 1
1 0 0
Y10 = x 1
x1
x2
0 1
0 1 0
1 0 1
Y9= 21 xx ⊕
x1
x2
0 1
0 1 1
1 0 1
Y8 = x 1 . x 2
x1
x2
0 1
0 0 1
1 1 0
Y6 =x1 ⊕ x2
x1
x2
0 1
0 1 1
1 0 1
Y7 = x1 + x2
x1
x2
0 1
0 1 1
1 0 1
Y5 = x2
x1
x2
0 1
0 1 1
1 0 1
Y4 = x 1. x2
x1
x2
0 1
0 1 1
1 0 1
Y3 = x1
x1
x2
0 1
0 1 1
1 0 1
Y2 = x1 . x 2
x1
x2
0 1
0 1 1
1 0 1
Y1 = x1.x2
x1
x2
0 1
0 0 0
1 0 0
Y0 = 0
* Ta thấy rằng: các hàm đối xứng nhau qua trục (y7 và y8 ) nghĩa là: y0 = y 15, y1 = y 14,
y2 = y 13
* Hàm logic n biến: y = f(x1,x2,x3,..,xn).
1 biến nhận 21 giá trị → n biến nhận 2n giá trị; mà một tổ hợp nhận 2 giá trị n
→ Do vậy hàm có tất cả là 2 . 2
Ví dụ: 1 biến → tạo 4 hàm 2
2 biến → tạo 16 hàm 2
3 biến → tạo 256 hàm 2
12
22
32
→ Khả năng tạo hàm rất lớn nếu số biến càng nhiều.
Tuy nhiên tất cả khả năng này đều được hiện qua các hàm sau:
Tổng logic
Nghịch đảo logic
Tích logic
Biên soạn: Lâm Tăng Đức - Nguyễn Kim Ánh 3
Chương 0: Lý thuyết cơ sở Bộ môn Tự Động Đo Lường – Khoa Điện
∞ Định lý - tính chất - hệ số cơ bản của đại số logic:
0.2.1. Quan hệ giữa các hệ số:
0 .0 = 0
0 .1 = 0
1 .0 = 0
0 +0 = 0
0 +1 = 1
1 +0 = 1
1 +1 = 1
0 = 1
1 = 0
→ Đây là quan hệ giữa hai hằng số (0,1) → hàm tiên đề của đại số logic.
→ Chúng là quy tắc phép toán cơ bản của tư duy logic.
0.2.2. Quan hệ giữa các biến và hằng số:
A.0 = 0
A .1 = A
A+1 = 1
A +0 = A
A . A = 0
A + A = 1
0.2.3. Các định lý tương tự đại số thường:
+ Luật giao hoán:
A .B =B .A
A +B =B +A
+ Luật kết hợp:
( A +B) +C =A +( B +C)
( A .B) .C =A .( B .C)
+ Luật phân phối:
A ( B +C) =A .B +A .C
0.2.4. Các định lý đặc thù chỉ có trong đại số logic:
A .A =A
A +A =A
Định lý De Mogan:
BA. = A + B
BA+ = A . B
Luật hàm nguyên:
A = A .
0.2.5. Một số đẳng thức tiện dụng:
A ( B +A) = A
A + A .B = A
A B +A . B = A
A + A .B = A +B
Biên soạn: Lâm Tăng Đức - Nguyễn Kim Ánh 4
Chương 0: Lý thuyết cơ sở Bộ môn Tự Động Đo Lường – Khoa Điện
A( A + B ) = A .B
(A+B)( A + B ) = B
(A+B)(A + C ) = A +BC
AB+ A C + BC = AB+ A C
(A+B)( A + C )(B +C) =(A+B)( A + C )
Các biểu thức này vận dụng để tinh giản các biểu thức logic, chúng
không giống như đại số thường.
Cách kiểm chứng đơn giản và để áp dụng nhất để chứng minh là thành
lập bảng sự thật.
nhìn và ít nh
n lớ
ẳ
ng0:
0.3. Các phương pháp biểu diễn hàm logic:
0.3.1. Phương pháp biểu diễn thành bảng:
* Nếu hàm có n biến thì bảng có n+1 cột .( n cột cho biến & 1 cột cho hàm )
* 2n hàng tương ứng với 2n tổ hợp biến.
→ Bảng này gọi là bảng sự thật hay là bảng chân lý.
Ví dụ:
Trong nhà có 3 công tắc A,B,C.Chủ nhà muốn đèn chiếu sáng khi công tắc A,
B, C đều hở hay A đóng B, C hở hay A hở B đóng C hở .
Với giá trị của hàm y đã cho ở trên ta biểu diễn thành bảng như sau:
Công tắc đèn Đèn
A B C Y
0 0 0 1 sáng
0 0 1 0
0 1 0 1 sáng
0 1 1 0
1 0 0 1 sáng
1 0 1 0
1 1 0 0
1 1 1 0
10 11
0100
x 1
x 2
* Ưu điểm của cách biểu diễn này là dễ ầm lẫn .
* Nhược điểm: cồng kềnh, đặc biệt khi số biế n.
0.3.2. Phương pháp biểu diễn hình học:
a) Hàm một biến → biểu diễn trên 1 đường th ng:
b) Hàm hai biến → biểu diễn trên mặt phẳ
Biên soạn: Lâm Tăng Đức - Nguyễn Kim Ánh 5
Chương 0: Lý thuyết cơ sở Bộ môn Tự Động Đo Lường – Khoa Điện
c) Hàm ba biến → biểu diễn trong không gian 3 chiều:
011 111
010 110
000 100
001
101
X1
X2
X3
d) Hàm n biến → biểu diễn trong không gian n chiều
0.3.3. Phương pháp biểu diễn biểu thức đại số:
Bất kỳ trong một hàm logic n biến nào cũng có thể biểu diễn thành các hàm có
tổng chuẩn đầy đủ và tích chuẩn đầy đủ.
a) Cách viết dưới dạng tổng chuẩn đầy đủ (chuẩn tắc tuyển):
- Chỉ quan tâm đến những tổ hợp biến mà hàm có giá trị bằng một.
- Trong một tổ hợp (đầy đủ biến) các biến có giá trị bằng 1 thì giữ nguyên (xi).
- Hàm tổng chuẩn đầy đủ sẽ là tổng chuẩn đầy đủ các tích đó.
Công tắc đèn Đèn
A B C Y
0 0 0 0 0
1 0 0 1 1
2 0 1 0 x
3 0 1 1 1
4 1 0 0 1
5 1 0 1 x
6 1 1 0 0
7 1 1 1 1
→ Hàm Y tương ứng 4 tổ hợp giá trị các biến ABC = 001, 011, 100, 111
→Y= A B C + A BC +A B C +ABC
* Để đơn giản trong cách trình bày ta viết lại:
Biên soạn: Lâm Tăng Đức - Nguyễn Kim Ánh 6
Chương 0: Lý thuyết cơ sở Bộ môn Tự Động Đo Lường – Khoa Điện
f = Σ 1, 3 ,4 ,7
Với N =2 ,5 (các thứ tự tổ hợp biến mà không xác định )
b) Cách viết dưới dạng tích /chuẩn đầy đủ ( hội tắc tuyển ):
- Chỉ quan tâm đến tổ hợp biến hàm có giá trị của hàm bằng 0.
- Trong mỗi tổng biến xi = 0 thì giữ nguyên xi = ...