二、在某班的班委选举中,已知阚志强、商利利、王红红三人是班委的候选人,选举时发现：
问题描述：
二、在某班的班委选举中,已知阚志强、商利利、王红红三人是班委的候选人,选举时发现：
(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∨...