案例题 简答题：节日安排值班，甲、乙、丙、丁四人约定下列原则：
①或是甲来，或是乙来。
②如果丙不来，则乙也不来。
③要么丙来，要么丁来。
已知丁要来。按照上述原则中判断的逻辑关系，用有关推理推断出甲是否来值班，并写出推理过程。