“不C或者不D，如果A则C，如果B则D，所以，不A或者不B”的基本形式是（）