这个问题如果用算法咋做?

不知道你所说的“算法”具体是指什么,提供一种布尔代数的做法。假定我们接受题干的“唯一正确”这个条件,那么令S=(~A)\u0026amp;(~B)\u0026amp;(C=~D\u0026amp;~E)\u0026amp;(D=(B\u0026amp;~C)|(~B\u0026amp;C))\u0026amp;(E=~C)\u0026amp;(F=(E\u0026amp;~F)|(~E\u0026amp;F))\u0026amp;其中~\u0026amp;|分别表示“非”“与”“或”接下来只需穷举真值表,找出让S为TRUE的情况就行了(这里就不穷举A和B了)CDEF---S=======FFFF---F FFFT---FFFTF---FFFTT---FFTFF---FFTFT---FFTTF---FFTTT---FTFFF---FTFFT---FTFTF---FTFTT---FTTFF---FTTFT---FTTTF---FTTTT---F结论是S永假,本题无解(无解不是指选A)因为变量少而且S其实并不复杂,所以我就直接穷举了(其实我只是穷举了然后全部打上F(FALSE)而已……),对于更复杂的问题可以把S处理成主合取范式或者主析取范式,不过反正留个计算机所以直接穷举也行……又及:其实这道题也不难啦由题干,B是错的由E选项,C和E一对一错由D选项,C和D同对错由C选项,D是错的,故C是错的,故E是对的F若对则F错,F若错则F对,悖论或者用上面布尔代数的想法B=FALSED=(B\u0026amp;~C)|(~B\u0026amp;C)=(FALSE\u0026amp;~C)|(TRUE\u0026amp;C)=FALSE|C=CE=~CC=~D\u0026amp;~E=~C\u0026amp;C=FALSEE=~C=TRUEF=(E\u0026amp;~F)|(~E\u0026amp;F)=(TRUE\u0026amp;~F)|(FALSE\u0026amp;F)=~F|FALSE=~F即F=~F,悖论
■网友
你要写程序完成的话,最直观的方法是使用逻辑编程语言,比如 prolog。
■网友
"唯一正确的是"所以a b为假主干部分其实是这个嘛(c==!d\u0026amp;!e)\u0026amp;//c: d e都不对(d==b^c)\u0026amp;//d: b c有一个对(xor)(e==!c)\u0026amp;//e:c不对(f==e^f)//f:e f有一个对其实我们可以着手简化一下首先看f==e^fe f e^f f==1 0 1 01 1 0 00 1 1 10 0 0 1所以(f==e^f)==!e(c==!d\u0026amp;!e)\u0026amp;(d==b^c)\u0026amp;(e==!c)\u0026amp;!e(c==!d\u0026amp;!e)\u0026amp;(d==b^c)\u0026amp;c \u0026amp;!e!d\u0026amp;!e \u0026amp;(d==b^1)\u0026amp;c \u0026amp;!e!d \u0026amp;(d==!b) \u0026amp;c \u0026amp;!e由b是假,!d\u0026amp;d\u0026amp;c\u0026amp;!e那么这个式子是永假的嗯


    推荐阅读