以下の CTL 式が同等であるかどうか疑問に思っています。同等である場合は、同等であると自分自身に納得させるのを手伝ってもらえますか? A(p U ( A(q U r) )) = A(A(p U q) U r)
私はそれと矛盾するモデルを思いつくことができず、私の直感は式が同等であると言っていますが、そのステートメントをサポートする同等物を見つけることができません. 等価性 A(p U q) == not(E ((not q) U not(p or q)) または EG (not q)) を何か役に立つものに書き直そうとしましたが、何度か失敗しました。
コースの資料とグーグルを調べましたが、何も見つかりません。ただし、同じ同等の質問がありますが、回答がない別の質問をここで見つけたので、もう一度試してみます。