命題邏輯轉化爲編程語言

若是小明獲優，則會獲獎，學校就要頒獎。用命題邏輯表達爲(A－＞B)－＞C,A表明小明獲優，B表明小明獲獎，C表明學校頒獎。若是（A則B）做爲一個條件，用編程語言如何表達？根據蘊含式A→B等價於┓A∨B。編程 用編程語言就可表達爲編程語言             if(┓A∨B)spa                c;數學 學過的離散數學原來是這麼用的。看來要從新好好複習一下數學知識了。語言

>>阅读原文<<