该博客分析了自动售货机软件的例子，详细解释了判定表的第6列和第23列。第6列描述了输入11010时，售货机如何处理找零和出橙汁；第23列则阐述了输入01001时，若售货机无法找零，如何退还硬币和亮起零钱找完灯。博客通过命题逻辑形式详细描述了输入输出的判定规则和推理演算过程。
问题
分析 Chap.5.1 (Lec.17) 自动售货机软件例子生成的判定表图例的第6列和第23列，分别给出：
(1) 输入条件的自然语义陈述；
(2) 输出结果的自然语义陈述；
(3) 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则，并写出获得输出结果的推理演算过程。
解答
输入条件的自然语义陈述
- 第6列
输入11010，表示C1售货机可找零，C2投入1元硬币，C4按下橙汁按钮。 - 第23列
输入01001，表示~C1售货机不可找零，C2投入1元硬币，C5按下啤酒按钮。
输出结果的自然语义陈述
- 第6列
输出00110，表示E23退还5角硬币，E24送出橙汁饮料。 - 第23列
输出11000，表示E21零钱找完灯亮，E22退还1元硬币。
用命题逻辑形式描述实
最低0.47元/天 解锁文章
扫一扫
6584
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
