右图是一个算法的流程图,最后输出的___________
命题“存在一个三角形没有外接圆”的否定是___________________
命题“”的否定是______________
命题“的值不超过3”看作“非p”形式时,则p为____________看作“p或q”形式时,p为__________ q为____________。