Bài 2:Đại số Boolean và ứng dụng



2.1 THIẾT KẾ BIỂU THỨC LOGIC
2.1.1 CÁC PHÉP TOÁN Ở ĐẠI SỐ BOOLE
Bởi vì các đại lượng chỉ có hai trạng thái nên đại số Boole rất khác đại số thường và dễ tính toán hơn. Ở đại số Boole không có phân số, số thập phân, số ảo, số phức, căn số… mà chỉ thực hiện chủ yếu 3 phép tính toán cơ bản sau:
     Phép OR
     Phép  AND
     Phép phủ định NOT
Các phép tính trên khi áp dụng cho logic 0 và 1:
2.1.2 THIẾT LẬP BIỂU THỨC LOGIC
Lập hàm logic cho từng cổng ta đã biết cho bất cứ kết nối nào của các cổng. Từ biểu thức biết được ta có thể tính logic ra tương ứng với mỗt tổ hợp logic vào, và lập bảng sự thật của các ngõ vào (biến số) và ngõ ra (hàm). Để tính logic ra tương ứng với một tổ hợp logic và ta thường là tính thẳng trên mạch.
Ví dụ:
Ví dụ với mạch trên với 4 ngõ vào nên ta có tổng cộng 16 tổ hợp vào nên ta phải tính 16 trạng thái ra khác nhau mới lập được bảng sự thật (Truth Table).
2.1.3 THỰC HIỆN MẠCH TỪ BIỂU THỨC LOGIC
Ngược lại với viết biểu thức từ mạch là thực hiện mạch từ biểu thức logic. Ví dụ cho biểu thức logic cho là: nhìn vào biểu thức ta thấy ngõ ra là OR của 3 số hạng nên ta thực hiện mỗi số hạng Y trước. Với số hạng đầu ta dùng AND, số hạng thứ 2 ta ĐẢO C sau đó AND với B, số hạng thứ 3 ta cũng thực hiện tương tự , sau cùng ta OR 3 ba số hạng lại.


2.2 CÁC ĐỊNH LÝ ĐẠI SỐ BOOLE
     Một biến số
 

     Giao hoán
 
     Phối  hợp
     Phân phối
     Một số đẳng thức hữu dụng
     Định lý De Morgan
Các định lý của đại số Boole được chứng minh hay kiểm chứng bằng nhiều cách. Các cách chứng minh hay kiểm chứng này tương đối đơn giản, người đọc có thể tự chứng minh hay kiểm chứng.
Ví dụ 1: Thiết kế mạch dùng hai cổng logic thỏa bảng sự thật sau đây
Giải: Vì ngõ ra bằng 0 chỉ một trường hợp nên ta viết hệ thức logic ở trường hợp này. Y= 0 khi A= 0 VÀ B = 1 nên . Để có Y ta đảo , nên . Mạch thực hiện cổng NOT để tạo ra A đảo, tiếp theo là cổng NAND của  và B (hình 1.30a)
Mặt  khác  ta có thể dựa vào bảng sự thật  dể viết hàm logic cho Y và kết quả là: sử dụng các định lý của đại số Boole ta biến đổi và được kết quả cuối cùng là  (hình 1.30b).
Ví dụ 2: Chứng tỏ .
Giải:
Vận dụng các công thức ta dể dang biến đổi được:
Một cách chứng minh khác là ta có thể dùng bảng sự thật để chứng minh biểu thức trên.


2.3 SỰ CHUYỂN ĐỔI GIỮA CÁC LOẠI CỔNG LOGIC
Các cổng logic có thể chuyển dổi qua lại lẫn nhau từ cổng này thành cổng khác. Để thuận tiện cho việc thiết kế mạch logic nên phải chuyển đổi giữa các cổng với nhau, chủ yếu là chuyển đổi AND thành OR và ngược lại, chuyển đổi AND – OR thành NAND – NAND. Đa số các bài toán thiết kế logic đều yêu  cầu sử dụng cổng NAND(việc chế tạo cổng NAND đơn giản hơn các cổng khác). Để thuận lợi cho việc chuyển đổi cần phải nắm vững các định lý của đại số Boole và đặc biệt là định lý De Morgan.
Sau đây là một số chuyển đổi giữa các cổng với nhau:
 

2.4 ÁP DỤNG CÁC ĐỊNH LÝ ĐẠI SỐ BOOLE ĐỂ RÚT GỌN BIỂU THỨC LOGIC
Các định lý Boole giúp đơn giản các biểu thức logic. Việc đơn giản là cần thiết để mạch thiết kế thực hiện đơn giản và kinh tế hơn. Rút gọn biểu thức là vận dụng các định lý từ hàm một biến cho đến hàm nhiều biến và những đẳng thức hữu dụng. Đặt biệt là hai định lý De Morgan giúp ích cho rất nhiều trong việc rút gọn biểu thức logic và cũng là công cụ chính để chuyển đổi các dạng mạch. Để việc rút gọn biểu thức logic và chuyển đổi mạch dể dàng cần phải nắm vững các định lý của đại số Boole và phải thông thạo chuyển đổi giữa các cổng logic.
Ví dụ 3: Rút gọn các biểu thức sau:
Ví dụ 4: Đơn giản hàm 
Giải:
Ngoài việc rút gọn biểu thức logic bằng đại số boole, còn sử dụng đại số boole để đơn giản mạch logic. Để đơn giản mạch logic ta làm các bước sau:
Từ mạch logic xác định biểu thức cho ngõ ra của mạch
Sau khi xác định được hàm ngõ ra, tiến hành rút gọn biểu thức bằng cách dùng các định lý của đại số boole, đặc biệt là sử dụng định lý De Morgan.
Sau khi được biểu thức mới, chúng ta có được mạch logic mới tương đương với mạch logic đã cho.
Ví dụ 5: Đơn giản mạch ở hình 1.32 (a)
Giải:
Trước tiên ta viết biểu thức logic cho ngõ ra:
Rút gọn biểu thức ta được:
Từ biểu thức vừa rút gọn được ta thành lập được mạch logic mới như hình 1.32b.
In bài này
Previous
Next Post »

Bạn đọc hãy giúp chúng tôi xây dựng cộng đồng bằng cách để lại bình luận, chúng tôi luôn đón nhận mọi ý kiến của các bạn:
» Bình luận nghiêm túc và không chứa các liên kết quảng cáo.
» Vui lòng không Spam nhận xét với mọi hình thức.
» Rất mong bạn đề tên cho nhận xét của chính mình - Bằng cách chọn vào Tên/URL và điền tên bạn vào (Phần URL có thể bỏ trống ).

- Bạn có thể chèn Link nhạc (NCT), video(Youtube),Hình ảnh vào comment bằng cú pháp:
+ [youtube] Link video Youtube [/youtube].
+ [img] Link ảnh( định dạng PNG, JPG,GIF) [/img]
+Chèn link liên kết: <a href="LINK" rel="nofollow">Name</a>
-Bạn copy mã bên cạnh biểu tượng chèn vào nhận xét để bày tỏ cảm xúc!! ConversionConversion EmoticonEmoticon

       Mạch Khóa Số Điện Tử Mạch Đếm Sản Phẩm Mạch Đèn giao thông Ngã Tư Mạch Trái Tim Final Mạch Trái Tim Final Mạch Trái Tim I Love U

THƯ MỤC KHO TÀI LIỆU MIỄN PHÍ ECHIPKOOL

Code 8051 - ASM Code 8051 - C Code AVR - C Code led sao băng Code PIC - C Điện tử cơ bản điện tử viễn thông Đo Nhiệt Độ DS18B20 + LCD Đo Nhiệt Độ LM35 + LCD Đo Nhiệt Độ LM35 + Led 7 thanh Đo tốc độ động cơ Động cơ robo Ebook Đại Học ebook điện tử Ebook đồ án Học Orcad Học Protues Hồng ngoại Lập Trình 8051 Lập Trình AVR lập trình c++ Lập Trình Led Quảng Cáo lập trình PIC Lập trình Robot Lập trình VHDL Lcd16x2 Led Clock Led Quay Led RGB Mạch 7seg Mạch Amply.Mạch Loa Mạch Cảm Biến Mạch cube Mạch Đếm Sản Phẩm Mạch điện cơ bản Mạch điện hay Mạch Điện Ứng Dụng Mạch đọc file nhạc MP3 dùng Atmega 8 Mạch Động Cơ Mạch đồng hồ Mạch đồng hồ LCD Mạch đồng hồ Matrix Mạch giao thông Mạch in Mạch khóa số điện tử Mạch Led đơn Mạch Led Quảng Cáo Mạch Led Vumeter Mạch Ma trận Phím Mạch Matrix Mạch nạp Mạch nguồn Mạch Nút Bấm Mạch RS232 Mạch RS485 Mạch thu phát Mạch tổ hợp MSI Mạch trái tim Mạch truyền điện không dây Mạch Vi điều khiển Module Bluetooth Module Sim Module Sim548 Motor Nhiệt độ - Độ ẩm oscilloscope Phần mềm điện tử Phần Mềm Diệt Viruts Phần Mềm Hay Phần Mềm Led Quảng Cáo Phần mềm vi tính robocon Rule robocon Sạc Acquy Sản Phẩm Thương Mại Sáng tạo Smart Home Tài liệu Điện Tử Tranzitor Tụ điện TUT - 8051 - ASM TUT - 8051 - KeilC UART Ứng Dụng Led Quảng Cáo Ứng dụng USB USB TO COM Vi điều khiển - Ứng dụng Vi mạch số VOM Wifi ESP8266