Mục đích Trong kỹ thuật điều khiển, các hoạt động của các cơ cấu trong hệ thống điều khiển tự động đều xuất phát từ các phương trình chuyển động được xây dựng trên nguyên lý làm việc của hệ thống. Các phương trình này là hàm tích hợp những giá trị của tín hiệu vào và tín hiệu ra và được viết dưới dạng các biến số của đại số Bool. . Nhiệm vụ Quá trình định nghĩa tín hiệu vào ra đầy đủ, tuân thủ nguyên lý hoạt động của hệ thống để xây dựng được các hàm.