在Rt△ACB中,∠C=90°,AC=BC,一直角三角板的直角顶角O在AB边的中点上,这块三角板绕O点旋转,两条直角边始终与AC、BC边分别相交于E、F,连接EF,则在运动过程中,△OEF与△ABC的关系是( )
A:一定相似
B:当E是AC中点时相似
C:不一定相似
D:无法判断
“非p为假命题”是“p且q是真命题”的( )