题目
分析
原因清单 (输入条件)
◌ C1 售货机可找零
◌ C2 投入1元硬币
◌ C3 投入5角硬币
◌ C4 按下 橙汁 按钮
◌ C5 按下 啤酒 按钮
结果清单 (输出结果)
◌ E21 灯亮
◌ E22 退还1元硬币
◌ E23 退还5角硬币
◌ E24 送出橙汁饮料
◌ E25 送出啤酒饮料
建立中间结点,表示处理的中间状态
◌ T11 投入1元硬币且按下饮料按钮
◌ T12 按下 橙汁 或 啤酒 按钮
◌ T13 应当找5角零钱并且售货机有零钱找
◌ T14 钱已付清
解答
第6列
(1) 输入条件的自然语义陈述;
输入 11010,表示 C1 售货机可找零、C2 投入1元硬币、C4 按下橙汁按钮。
(2) 输出结果的自然语义陈述;
输出 00110,表示 E23 退还5角硬币、E24 送出橙汁饮料。
(3) 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则,并写出获得输出结果的推理演算过程。
-
实现上述输入-输出过程的规则描述:
C1 ∧ T11 => T13
C2 ∧ T12 => T11
C4 ∨ C5 => T12
C3 ∨ T13 => T14
C4 ∧ T14 => E24
T13 => E23 -
以 C1, C2, C4 为前提,应用上述规则,可以证明逻辑结论 E23 和 E24。
T12 = C4 ∨ C5 = 1 ∨ 0 = 1
T11 = C2 ∧ T12 = 1 ∧ 1 = 1
T13 = C1 ∧ T11 = 1 ∧ 1 = 1
T14 = C3 ∨ T13 = 0 ∨ 1 = 1
E24 = C4 ∧ T14 = 1 ∧ 1 = 1
E23 = T13 = 1
第23列
(1) 输入条件的自然语义陈述;
输入 01001,表示售货机不可找零、C2 投入1元硬币、C5 按下啤酒按钮。
(2) 输出结果的自然语义陈述;
输出 11000,表示 E21 灯亮、E22 退还1元硬币。
(3) 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则,并写出获得输出结果的推理演算过程。
-
实现上述输入-输出过程的规则描述:
¬C1 => E21
¬C1 ∧ T11 => E22
C2 ∧ T12 => T11
C4 ∨ C5 => T12 -
以 C2, C5 为前提,应用上述规则,可以证明逻辑结论 E21 和 E22。
E21 = ¬C1 = ¬0 = 1
T12 = C4 ∨ C5 = 0 ∨ 1 = 1
T11 = C2 ∧ T12 = 1 ∧ 1 = 1
E22 = ¬C1 ∧ T11 = ¬0 ∧ 1 = 1