原因ノード

中間ノード

結果ノード

リンク

制約条件

デシジョンテーブル

論理展開式カバレッジ表

メモ