Tài liệu "Kỹ thuật điều khiển lập trình PLC Simatic S7-200", là quyển sách đầu tiên trong bộ sách về kỹ thuật điều khiển lập trình PLC họ SIMATIC S7, được biên soạn với mong muốn góp một phần nhỏ vào việc giảng dạy và tự học về kỹ thuật điều khiển lập trình của giáo viên, học sinh, sinh viên và đọc giả quan tâm về PLC họ SIMATIC S7-200 của công ty Siemens. | Châu Chí Đức 8 Thiết kế theo logic Bool & biểu đồ Karnaugh 8 Thiết kế theo logic Bool & biểu đồ Karnaugh Giới thiệu Quá trình chuyển đổi một mục tiêu điều khiển thành một chương trình theo ngôn ngữ LAD, FBD hay STL yêu cầu phải thông qua một cấu trúc. Đại số BOOL là một trong các công cụ cần thiết để phân tích và thiết kế những hệ thống này. Đại số BOOL Đại số BOOL được phát triển vào năm 1800 bởi một nhà toán học người Ai-len tên là James Bool. Nó cực kỳ hữu ích trong thiết kế các mạch số. Nó vẫn được sử dụng nhiều bởi các kỹ sư điện và tin học. Phương pháp thực hiện là mô hình hệ thống logic bằng các công thức riêng lẻ. Công thức có thể là sự kết hợp của các AND/OR đơn giản thành các dạng mới. Với cùng phương pháp này, người thiết kế mạch có thể ứng dụng cho lập trình ở LAD. OR AND X = A 0 0 1 1 A×B B 0 1 0 1 X 0 0 0 1 X = A+B A 0 0 1 1 B 0 1 0 1 NOR B 0 1 0 1 NAND X =A X = A×B A 0 1 X = X 1 0 0 0 A 0 0 1 1 AÅB B 0 1 0 1 X 1 0 A 0 0 1 1 B 0 1 0 1 X 0 0 0 1 XNOR XOR X = A+B A 0 0 1 1 X 0 1 1 1 NOT X 0 1 1 0 X = AÅB A 0 0 1 1 B 0 1 0 1 X 1 0 0 1 Hình : Các phép toán đại số bool với bảng sự thật và cổng logic 125 8 Thiết kế theo logic Bool & biểu đồ Karnaugh Châu Chí Đức Công thức Boolean bao gồm nhiều biến và các hoạt động giống như các công thức đại số thông thường. Ba phép toán cơ bản là AND, OR và NOT, hoặc tổ hợp của các phép toán cơ bản là NAND, NOR, XOR, XNOR. Các phép toán với bảng sự thật được cho ở hình . Mỗi phép toán được trình bày bởi một công thức đơn giản với hai biến được sử dụng là A và B để tính giá trị X. Bảng sự thật là một phương pháp đơn giản để mô tả tất cả các tổ hợp có thể có là cho ngõ ra ở trạng thái “ON” hoặc “OFF” (“1” hoặc “0”). Chú ý: Cổng XOR thường được chuyển thành các cổng tương đương như sau: X = A Å B = A ×B + A ×B · Các định lý của đại số Bool Tiên đề: Định lý: 2. A+A =0 A ×1 = A 3. A×A = 0 4. A+A =1 5. 1= 0 A+A =A A×A = A 1. 1. 2. 3. 6. A ×0 = 0 A + A ×B = .
