当“如果张某是本案罪犯,那么刘某就不是本案罪犯”为假,下列命题中必然为真的是()。 
A:或者张某不是本案罪犯,或者刘某不是本案罪犯
B:虽然张某不是本案罪犯,但刘某是本案罪犯
C:如果张某不是本案罪犯,那么刘某就是本案罪犯
D:只有张某不是本案罪犯,刘某才是本案罪犯
出自:法学