有一个处理单价为5 角钱的饮料自动售货机软件,其规格说明如下:若投入5 角钱或1 元钱的硬币,押下〖橙汁〗或〖啤酒〗的按钮,则相应的饮料就送出来。若售货机没有零钱找,则一个显示〖零钱找完〗的红灯亮,这时在投入1元硬币并押下按钮后,饮料不送出来而且1 元硬币也退出来;若有零钱找,则显示〖零钱找完〗的红灯灭,在送出饮料的同时退还5 角硬币。(1) 分析软件规格说明,列出原因和结果。(2) 画出因果图。(3) 列出简化后的判定表