答：张明没得奖,而王洪、高亮得奖.用p代“张明得奖”,用q代“李东得奖”,用r代“王洪得奖”,用S代“高亮得奖”.
已知：（¬p∨¬q）←（r∧S）①
¬（¬r∨¬s） ②
q ③
据②可得r∧s ④（负命题等值推理）
据①④可得¬p∨¬q ⑤（必要条件假言推理肯定后件式）
据⑤③可得 ¬p ⑥（相容选言推理否定肯定式）
据④⑥可知：r∧S∧¬p即王洪、高亮得奖,张明没得奖.
答：张明没得奖,而王洪、高亮得奖.用p代“张明得奖”,用q代“李东得奖”,用r代“王洪得奖”,用S代“高亮得奖”.
已知：（¬p∨¬q）←（r∧S）①
¬（¬r∨¬s） ②
q ③
据②可得r∧s ④（负命题等值推理）
据①④可得¬p∨¬q ⑤（必要条件假言推理肯定后件式）
据⑤③可得 ¬p ⑥（相容选言推理否定肯定式）
据④⑥可知：r∧S∧¬p即王洪、高亮得奖,张明没得奖.