逻辑学的问题，求好心人帮忙

Question

如题所述

Answer 1

设张明得奖为p，李东得奖为q，王洪得奖为r，高亮得奖为s，则已知条件为：
（1）(¬p∨¬q)←(r∧s)
（2）¬(¬r∨¬s)
（3）q
推导过程如下：
由（2）可得（4）：r∧s（选言命题负命题的等值命题）；
由（1）和（4）可得（5）：¬p∨¬q（必要条件假言推理肯定后件式）；
由（3）和（5）可得：¬p（相容选言推理的否定肯定式）。
结论：张明没有得奖，王洪和高亮都得奖了。