と の 2 つのプロパティが与えられた場合、とP1 = (R1 or R2) |-> Pはシーケンスではプロパティですが、は と同等であると言うのは正しいですか?P2 = (R1 |-> P) or (R2 |-> P)R1R2PP1P2
LRM の附属書 F のタイト充足可能性とニュートラル充足可能性の定義に基づいて計算を行ったところ、同等であることがわかりました。(どこかで間違いを犯す可能性を排除したくありません。)
シミュレーション ツールでこの 2 つが異なる方法で処理されているのを見たことがあるので、質問します。