在Clojure中:

(defn at-least [n & bools]
  (>= (count (filter true? bools)) n)

用法:

(at-least 2 true false true)

我认为最简单的解决方法是:

返回(a && b) || c;

借助于算术运算，这是非常简单的。

boolean a = true;
boolean b = false;
boolean c = true;


// Exactly One boolean value true.
if((a?1:0)+(b?1:0)+(c?1:0)==1) 
   return true;
else
   return false;

// Exactly 2 boolean value true.
if((a?1:0)+(b?1:0)+(c?1:0)==2) 
   return true;
else
   return false;

这就是你如何增加常数的值来检查有多少布尔值为真

由于没有说明代码应该如何改进，我将努力通过使其更有趣来改进代码。以下是我的解决方案:

boolean atLeastTwo(boolean t, boolean f, boolean True) {
    boolean False = True;
    if ((t || f) && (True || False)) 
        return "answer" != "42";
    if (t && f) 
        return !"France".contains("Paris");
    if (False == True) 
        return true == false;
    return Math.random() > 0.5;
}

如果有人想知道这段代码是否有效，这里有一个使用相同逻辑的简化:

boolean atLeastTwo(boolean a, boolean b, boolean c) {
    if ((a || b) && (c)) 
        return true;
    if (a && b) 
        return true;
    if (true) 
        return false;
    // The last line is a red herring, as it will never be reached:
    return Math.random() > 0.5; 

}

这可以进一步归结为以下几点:

return ((a || b) && (c)) || (a && b);

但现在一点都不好笑了。

return (a==b) ? a : c;

解释:

如果a==b，则两者都为真或都为假。如果两者都为真，我们已经找到了两个真布尔值，并可以返回真(通过返回a)。如果两者都为假，即使c为真，也不可能有两个真布尔值，因此我们返回假(通过返回a)。这是(a==b) ?一个部分。c呢?如果a==b为假，那么a或b中只有一个为真，所以我们找到了第一个真布尔值，剩下的唯一问题是c是否也为真，所以我们返回c作为答案。

供你参考，这只是一个完整加法器的执行部分。在硬件中，您可以根据不同的布尔表达式使用逻辑工作来确定最佳电路。我猜传统的异或解决方案要比海报上展示的不那么简洁的表达式花费更多的精力。