某軟件規格說明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個數字，在此情況下進行文件的修改，但如果第一列字符不正確，則給出信息L；如果第二列字符不是數字，則給出信息M。
解答：
1. 根據需求，分析出原因和結果如下：
原因：
1——第一列字符是A；
2——第一列字符是B；
3——第二列字符是一數字。
結果：
21——修改文件；
22 ——給出信息L；
23——給出信息M。
中間狀態
11——第一列字符已輸入
約束條件
1、2互斥
2. 其對應的因果圖如下：
3. 根據因果圖建立判定表。
