某医院刘佳、郑毅、郭斌、丁晓、吴芳、施文6位医生拟报名参加“一心向党，健康为民”…
某医院刘佳、郑毅、郭斌、丁晓、吴芳、施文6位医生拟报名参加“一心向党，健康为民”进社区义诊活动，已知下列情况为真： （1）要么刘佳参加，要么郑毅参加； （2）只有吴芳参加，刘佳才参加； （3）如果郭斌和吴芳都参加，那么施文也会参加； （4）或者丁晓不参加，或者郭斌参加； （5）施文、丁晓至少有1人参加。 现施文确定无法参加，那么6位医生中最后参加义诊活动的是：
A. 刘佳、郭斌、丁晓
B. 郑毅、郭斌、丁晓
C. 郑毅、丁晓、吴芳
D. 刘佳、丁晓、吴芳
答案与解析
正确答案：B
花生十三讲解
翻译推理之连锁逆否。翻译：（1）刘佳与郑毅二者必居其一；（2）刘佳→吴芳；（3）郭斌且吴芳→施文；（4）非丁晓或郭斌；（5）施文或丁晓。已知施文不参加，由（5）否一推一得丁晓参加，代入（4）得郭斌参加；由（3）否后必否前，郭斌参加故吴芳不参加；由（2）逆否得刘佳不参加，再由（1）得郑毅参加。最终为郑毅、郭斌、丁晓。确认答案为B。
原解析
第一步：翻译题干。
（1）要么刘佳，要么郑毅；
（2）刘佳→吴芳；
（3）郭斌 且 吴芳→施文；
（4）-丁晓 或 郭斌；
（5）施文 或 丁晓；
（6）-施文。
第二步：根据题干条件进行推理。
从确定信息进行推理，施文无法参加，结合条件（5）和“或关系否一推一”可知丁晓参加，结合条件（4）和“或关系否一推一”可知郭斌参加；已知施文无法参加，结合条件（3）和“否后必否前”可知 -郭斌 或 -吴芳，结合郭斌参加和“或关系否一推一”可知吴芳不参加，排除C、D两项；结合条件（2）和“否后必否前”可知刘佳不参加，排除A项；再结合条件（1）可知，郑毅参加，此时确定参加的医生为丁晓、郭斌和郑毅，对应B项。
故正确答案为B。