Bảng trạng thái bốn trường hợp của mô hình

Sau khi quy ước `S,F` đều tác động mức 1, lập **bốn hàng**: `00→L0,B0`; `01→L0,B1`; `10→L0,B1`; `11→L1,B1`, vì `L=S·F` và `B=S+F`. Bảng cho thấy còi được yêu cầu bật nếu **ít nhất một** kênh báo điều kiện, còn LED chỉ bật khi **cả hai**. Nếu sơ đồ đang dùng ngõ `F_DO` tác động mức thấp thì phải đi qua NOT trước khi áp bảng; không thay F bằng F_DO trực tiếp. Bảng logic không thể cho biết cảm biến có phát hiện đúng cháy thật hay không, còi/LED có đủ dòng hay không, hoặc hệ có đạt chuẩn báo cháy hay không. Trong báo cáo, ghi rõ cực tính đã xác minh và so kết quả mô phỏng với bốn hàng; không gọi LED tắt ở hàng 10 là “không có nguy cơ”.