二、在某班的班委选举中,已知阚志强、商利利、王红红三人是班委的候选人,选举时发现：

题目

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