命题逻辑转化为编程语言

若是小明获优，则会获奖，学校就要颁奖。用命题逻辑表达为(A－＞B)－＞C,A表明小明获优，B表明小明获奖，C表明学校颁奖。若是（A则B）做为一个条件，用编程语言如何表达？根据蕴含式A→B等价于┓A∨B。编程 用编程语言就可表达为编程语言             if(┓A∨B)spa                c;数学 学过的离散数学原来是这么用的。看来要从新好好复习一下数学知识了。语言

>>阅读原文<<