如果将每个人的去与不去看成是 5位整数的其中 1位 ，其中 A对应最高位，E对应最低位 ，那么所有可能的调派方案为从全部不派的00000到全部派去的 11111之间变化。显然，共有 32种方案。全部遍历的循环为：for(inti_0；i<32；i++)。其中每个 i对应一个二进制数，为一种调派方案。在某一种调派方案 i中：

　　A为最高位(i&16)>>4或者 i>>4(将低位都挤掉 )

　　B为次高位 (i＆8)>>3

　　C为中间位(i＆4)>>2

　　D为次低位(i＆2)>>l

　　E为最低位(i&1)

　　根据求解模式，把这五个条件表示成否定的形式：否定条件 1为(!AIIB)=A&＆B，否定条件 2为 !(DJIE)，否定条件3为 B==C，否定条件4为 c!=D，否定条件 5为 E&＆!fA＆＆B)。在将 A——E的式子代入条件表达式，即可编程求解。

　　2、窃贼说谎问题

　　来看文章开始时提到的问题 2：用 A，B，c，D分别代表四人 ，变量的值为 1代表该人是窃贼。已知：四人中仅有一名窃贼，且这四个人中的每个人要么说真话，要么说假话，而由于甲乙丙三人都说了两句话：××没偷，××偷了”，故不论该人是否说谎，他提到的两人之中必有人是小偷。故在列条件表达式时，可以不关心谁说谎 ，谁说实话。这样 ，可以列出下列条件表达式：

　　甲说 ：“乙没有偷，是丁偷的。”B+D=I

　　乙说：“我没有偷，是丙偷的。”B+C=I

　　丙说：“甲没有偷，是乙偷的。”A+B=I

　　丁说：“我没有偷。”  A+B+C+D=I

　　其中丁只说了一句话，无法判定真假，表达式反映了四个人中仅有一名是窃贼的条件。有了条件表达式，运用程序设计中的穷举法就可以轻松求解。

　　3、农夫过河问题(逻辑推演方法与 BFS、DFS相结合的实例)

　　用一个四位二进制数来分别表示白菜、羊、狼、和农夫的过河状态0表示在原始岸边，即尚未过河 ；1表示在目的岸边，已经过河。将过河对象定义为枚举 enum类型，bitset<4>类型定义为 bitvee(这里用到了c++标准函数库 STL)。枚举类型定义过河者时，是按照白菜、羊、狼、和农夫的次序分别定义的。这种次序中前三者的顺序可以随意，但农夫farmer必须在最后，目的是便于在试探随农夫过河的对象时逐序进行所有的东西都不能带过河时，最后才选择让农夫单独过河。

　　enum W ader

　　{

　　cabbage,／／默认为 1

　　goat， ／／默认为2

　　wolf,  ／／默认为 3

　　farmer， ／／默认为 4 J；

　　typedef bitset<4> bitvec；