X不等于1或Y不等于2是X+Y不等于3的必要条件.为什么是必要?