Đại số logic - Phương tiện toán học để phân tích và tổng hợp các thiết bị và mạch số. - Nghiên cứu các mối liên hệ (các phép tóan logic) giữa các biến logic (chỉ nhận 1 trong 2 giá trị là “0” hoặc “1”). Tối giản hàm logic bằng định lý - Sử dụng các luật, định lý để tối giản hóa hàm logic.