（由于题中并没有说 ${A}$ 集合中多个元素的情况 ，导致我卡了五个小时，重构了两次代码 ）

当 ${A}$ 中有多个元素时，应当是 且条件 而非 或条件，即当其中所有条件成立时，$B$ 才成立。

可能是我太傻了。 再提一句：当没有冗余时应当输出 No redundant FDs. 有句号。