若P,Q是两个简单命题,且P或Q的否命题为真命题,则必有