若p, q是两个简单命题,且“p或q”的否定形式是真命题,则必有( )[要过程&为虾米]