二、在某班的班委選舉中，已知闞志强、商利利、王紅紅三人是班委的候選人，選舉時發現：（1）如果闞志强當選，則王紅紅也當選；（2）如果商利利當選，則王紅紅不能當選；（3）若王紅紅不能當選，則闞志强或商利利可以當選. 試利用主析取範式找到三人當選班委情况的全部可能. 感激不盡！

解先做命題符號化：g：闞志强當選，s：商利利當選，w：王紅紅當選；則三個命題分別為g→w，s→┐w，┐w→g∨s，於是（g→w）∧（s→┐w）∧（┐w→g∨s）（┐g∨w）∧（┐s∨┐w）∧（┐（┐w）∨（g∨…