（2005 年真题）节日安排值班， 甲、 乙、 丙、 丁四人约定下列原则：

①或是甲来， 或是乙来。

②如果丙不来， 则乙也不来。

③要么丙来， 要么丁来。

已知丁要来。 按照上述原则中判断的逻辑关系， 用有关推理推断出甲是否来值班， 并写出推理过程。