Câu hỏi được gắn thẻ «computation-tree-logic»


4
Làm cách nào tôi có thể quyết định thủ công xem hai công thức CTL có tương đương không?
Giả sử tôi có hai công thức ΦΦ\Phi và ΨΨ\Psi (trên cùng một tập hợp các mệnh đề nguyên tử Một PMộtPAP) trong CTL . Chúng tôi có điều đóΦ ≡ ΨΦ≡Ψ\Phi \equiv \Psi iff SmộttTS( Φ ) = SmộttTS( Ψ )SmộttTS(Φ)= =SmộttTS(Ψ)Sat_{TS}(\Phi) = Sat_{TS}(\Psi) cho tất cả các hệ …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.