原因結果グラフ グラフ化あってるかな？

前回の例をグラフにしてみるとこんな感じだろうか。

「正常に受信される」という結果

正常にメールサーバに受信されるためには、あて先が存在し、差出人がブラックリストに含まれず、メールボックス容量に余裕があり、メールサーバが稼動しているとき。（AND条件）

「メールが一時拒否される」という結果

想定した原因の中ではメールサーバが一時停止しているときのみ。

「メールが拒否される」という結果

メールがメールサーバに拒否されるのは、user unknownなあて先の場合（退会メールアドレスあるいは存在しないメールアドレス）、差出人がブラックリストに含まれる場合、あるいは受信サイズがメールボックス容量を超えた場合、のうちのどれかを満たすとき。（OR条件）

点線とEは、それぞれのうち高々1つだけがtrueである、という記述。ニョロっとした記号が否定を表す。○で囲まれたアルファベットのノードは中間ノード。

==

それにしても原因のところを「ブラックリストに含まれない」とか「サーバが一時停止していない（稼動している）」とかで表現するとグラフも変わってくるのだが、それとこれとは同値なのだろうか。