已知直四棱柱ABCD–A1B1C1D1的棱长均为2,∠BAD=60°.以 D 1 为球心, 5 为半径的球面与侧面BCC1B1的交线长为________.
命题“存在一个三角形没有外接圆”的否定是___________________
命题“”的否定是______________
命题“的值不超过3”看作“非p”形式时,则p为____________看作“p或q”形式时,p为__________ q为____________。