Khỏi niệm về hàm logic ràng buộc Hàm số n biến có 2n tổ hợp biến, tương ứng với mỗi tổ hợp biến đó hàm số có giá trị 1 hoặc 0. Nhưng cũng có những trường hợp với một số tổ hợp biến số hàm số của các biến đó không xác định được giá trị theo một điều kiện nào đó. Phần tử ràng buộc hay số hạng ràng buộc là tổ hợp biến tương ứng với trường hợp hàm số không xác định, số hạng ràng buộc luôn bằng 0. Điều kiện ràng buộc là biểu thức logic tạo bởi tổng các phần tử ràng buộc. Vậy điều kiện ràng buộc cũng luôn bằng 0. Hàm logic ràng buộc là hàm số logic xác định với điều kiện ràng buộc. Tối thiểu hoá hàm logic ràng buộc có 2 cách: tối thiểu hoá bằng công thức hoặc bằng bảng các nô.