Đại số boole cho phép dịch chuyển và thao tác các tổ hợp các biến số “ CÓ hoặc KHÔNG”. Các hàm cơ bản là hàm VAØ, hàm HOẶC và hàm “ĐẢO”(phủ định)…
Hình 2-64 Là các hàm logic cơ bản.
Dùng biểu thức đại số boole diễn tả chính xác và gọn hành vi của phần tử tự động. Trong ví dụ hình 2-63, điều khiển khởi động được mô tả bằng phương trình s = cd, nghĩa là s = 1 nếu c và d = 1. Mạch điều khiển (hình 2-65) được mô tả bằng phương trình lôgic như sau :
) .( . .be c d a s
2.4.3 Mô tả bằng ngôn ngữ GRAFCET
1- Giới thiệu : Có nhiều ngôn ngữ, biểu đồ sử dụng trong tự động hoá như: Biểu đồ thời gian, biểu đồ pha, mạng lưới PETRI, pha kết cấu v.v …các ngôn ngữ đó đã đóng góp thời gian, biểu đồ pha, mạng lưới PETRI, pha kết cấu v.v …các ngôn ngữ đó đã đóng góp kinh nghiệm để tổng kết thành GRAFCET.
GRAFCET là từ viết tắt của dòng chữ tiếng Pháp : Graphe Fonctionel de Commande Etapes – Transition (chuỗi chức năng điều khiển giai đoạn – chuyển tiếp) do hai cơ quan AFCET (liên hiệp Pháp về tin học kinh tế và kỹ thuật) và ADEPA(tổ chức nhà nước về phát triển nền sản xuất tự động hóa) hợp tác soạn thảo ra và tháng 11/1982 được đăng ký tổ chức tiêu chuẩn hóa Pháp dưới mã hiệu NFCO3190.
Dựa trên tiêu chuẩn của Pháp, một tiêu chuẩn quốc tế CEI cũng đã được soạn thảo. Cấu trúc của GRAFCET đã được tiêu chuẩn hóa và được công nhận là một ngôn ngữ thích hợp cho việc mô tả hoạt động dãy của tự động hóa trong sản xuất.