1.已知“如果甲值班，那么乙或丙也值班”为真，则必然为真的判断是（）。