2.4 Model checking algorithms for CTL
2.4.1 Existential Normal Form
所有CLT公式都可以用“存在”形式来表达。
∀XΦ = ¬∃X¬Φ
∀(Φ U Ψ) = ¬∃(¬Ψ U (¬Φ ∧ ¬Ψ)) ∧ ¬∃
相关文章：
猜你喜欢
相关资源
相似解决方案
热门标签
所有CLT公式都可以用“存在”形式来表达。
∀XΦ = ¬∃X¬Φ
∀(Φ U Ψ) = ¬∃(¬Ψ U (¬Φ ∧ ¬Ψ)) ∧ ¬∃
相关文章：