A:(¬p)∨q
B:p∧q
C:(¬p)∧(¬q)
D:(¬p)∨(¬q)
将Rt△ABC绕点A逆时针旋转90°得到△ADF,BC的延长线交DF于点E,连接BD.已知BC=2EF.求证:△BEF≌△BED.