Một bể trộn của một nhà máy nhận nguyên liệu lỏng từ 6 van riêng biệt được đánh nhãn: R, S, T, U, Y, Z. Mỗi van có hai trạng thái mở và đóng. Người điều khiển bể trộn cần đảm bảo rằng các van được đóng và mở tuân thủ theo các yêu cầu: • Nếu T mở thì S và Z phải đóng. • R và Z không thể cùng đóng một lúc. • Nếu Y đóng thì Z cũng đóng. • S và U không mở cùng lúc. Nếu Z mở thì van nào buộc ...