关于你的第四个条件到底是及其还是或者?如果如你所说那么不就剩下一个b==c和!(b==c)两个布尔式了么,还用怎么算啊?那不就是0,1两个数底组合中去调一些重复底00,11,01或者10之一的东西就行了么?

解决方案 »

  1.   

    4.  a == b 及其矛盾布尔式!(a == b)必须在新的布尔式开头,c == a 及其矛盾布尔式!(c == a)必须在新的布尔式的结尾,b ==  c 及其矛盾布尔式 !(b == c)必须在新的布尔式的中间。
      

  2.   

    7种情况a b c  位置固定,每个位置都有两个可选项。
    0 0 0  <-- 不合条件3
    0 0 1
    0 1 0 
    0 1 1
    1 0 0
    1 0 1
    1 1 0
    1 1 1
          剩下7个符合条件的,把0替换成原布尔式,把1替换成反布尔式,中间加入&&即可。
      

  3.   

    问一句,按第1条规则: 这条布尔式必须由原Vector装载的布尔式及其矛盾布尔式通过 && 构成。
    如下表达式合法吗?
    a==b && b==c && c==a
      

  4.   

    问一句,按第1条规则: 这条布尔式必须由原Vector装载的布尔式及其矛盾布尔式通过 && 构成。
    如下表达式合法吗?
    a==b && b==c && c==a答:不合法。