某軟體規格說明書包含這樣的要求：第一列字元必須是A或B，第二列字元必須是一個數字，在此情況下進行檔案的修改，但如果第一列字元不正確，則給出資訊L；如果第二列字元不是數字，則給出資訊M。

解答：

1.        根據需求，分析出原因和結果如下：

       原因：

            1——第一列字元是A；

            2——第一列字元是B；

            3——第二列字元是一數字。

       結果：

            21——修改檔案；

              22 ——給出資訊L；

            23——給出資訊M。

中間狀態

      11——第一列字元已輸入

約束條件

1、2互斥

2.        其對應的因果圖如下： 

3.        根據因果圖建立判定表。