��(2) 画出因果图，如图5.23所示。所有原因结点列在左边，所有结果结点列在右边。建立两个中间结点，表示处理的中间状态。

中间结点：

11. 投入1元硬币且押下饮料按钮

 

12. 押下〖橙汁〗或〖啤酒〗的按钮

 

13. 应当找5角零钱并且售货机有零钱找

 

14. 钱已付清

图示

图5.23 因果图
��(3) 由于 2 与 3 ，4 与 5 不能同时发生，分别加上约束条件E。
��