已知关系模式R(ABCD)的函数依赖集F={A→BC，C→B，C→D}，则在下列选项中，是F的逻辑蕴涵的有（）