4. (25分) 數位邏輯可以用真值表或卡諾圖(Karnaugh)來表達。可以用電路來實現,也可以用程式寫入微控器來實現。大樓的抽水馬達,可以用數位邏輯來控制是否要啟動抽水。大樓有上下個一個水桶,下桶 T1 有一個低水位感測器 TL1 ,樓上水桶有一個低水位感測器 TL2 ,以及滿水位感測器 TF2 ,另外還有個電源開關 P 。若感測器條件成立為 1 ,不成立為 0 ,電源開關開為 1 ,關為 0 ,以下卡諾圖可表示馬達何時啟動抽水 M=1 。上桶不可能同時低又滿,因此 TF2 列與 TL2 行交义處都是不可能存在的打 X 。當無電源時 P ,馬達一律不抽因此涵蓋的列均為不抽填 0 。當下水桶低時 TL1 ,馬達一律不能抽水,因此同行均為 0 。上桶滿時 TF2 不抽水同列均為 0 。只有開電源 P 下水桶有水 TL1 ,且上水桶未滿 TF2 ,馬達才抽水填 1 。請撰寫一個抽水馬達致動函式,以 P , TL1 , TL2 , TF2 為輸入,以抽水馬達最否抽水為輸出。
