分析判定表圖例

問題 分析 Chap.5.1 (Lec.17) 自動售貨機軟件例子生成的判定表圖例的第6列和第23列，分別給出： (1) 輸入條件的自然語義陳述； (2) 輸出結果的自然語義陳述； (3) 用命題邏輯形式描述實現上述輸入-輸出過程所應用的判定規則，並寫出獲得輸出結果的推理演算過程。 解答 輸入條件的自然語義陳述 第6列 輸入11010，表示C1售貨機可找零，C2投入1元硬幣，C4按下橙汁按鈕。 第

>>阅读原文<<