翻译逻辑表达式中，蕴含和合取的问题

ctfdk1

题目：
将列语句翻译成逻辑表达式

班上的所有同学都喜欢泰国食物


解答：
假设x的论域为所有人
谓词命题 Q(x) 为 ：x是班上的同学
P(x)为：x喜欢泰国食物
那么可以翻译为逻辑表达式：∀x(Q(x)∧P(x)) 或者 ：∀x(Q(x)→P(x))

问题：
哪个解答是正确的？

假设所有人，只有4个人他们分别是

人        是否是班上同学        是否喜欢泰国食物
A        True                                True
B        True                                False
C        False                                Ture
D        False                                false

那么第一个答案
∀x(Q(x)→P(x))等于
Q（A）→P(A) = Ture → True = True
Q（B）→P(B) = Ture → False = False
Q（C）→P(C) = False → True = True
Q（D）→P(D) = False → False = True

最后等于
True ∧ False ∧True ∧ True = false
但是为了命题为真
那么其实它只描述了为True 的 A,C,D 3个人
但是C,D 却不是班上同学（这一点和题意冲突？）


对于第二个答案：
∀x(Q(x)∧P(x))
Q（A）∧P(A) = Ture ∧ True = True
Q（B）∧P(B) = Ture ∧ False = False
Q（C）∧P(C) = False ∧ True = False
Q（D）∧P(D) = False ∧ False = False

最后等于
True ∧ False ∧False∧ False = False
但是为了命题为真
那么其实它只描述了为True 的 A这个人