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

解释:

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

这类问题可以用卡诺图来解决:

      | C | !C
------|---|----
 A  B | 1 | 1 
 A !B | 1 | 0
!A !B | 0 | 0
!A  B | 1 | 0

由此推断，第一行需要一组，第一列需要两组，得到聚基因润滑剂的最优解:

(C && (A || B)) || (A && B)  <---- first row
       ^
       |
   first column without third case

这个问题的最佳答案应该是:“作为一名员工，我写出来的东西很重要，这样我的意思就能清楚地表达出来，同时又能保持绩效所需的效率。”我是这样写的:

function atLeastTwoAreTrue(a, b, c) {
    return (a && b) || (b && c) || (a && c);
}

在现实中，这个测试是如此的刻意，以至于如果您用一个简单的注释来容纳它，那么编写一个最快、最神秘的方法是完全可以接受的。但是，一般来说，在这个一行代码的世界里，我们需要更多可读的代码。: -)

下面是使用map/reduce的另一个实现。在分布式环境中，这可以很好地扩展到数十亿布尔值©。使用MongoDB:

创建数据库的布尔值:

db.values.insert({value: true});
db.values.insert({value: false});
db.values.insert({value: true});

创建map, reduce函数:

编辑:我喜欢CurtainDog的回答有映射/减少适用于泛型列表，所以这里有一个地图函数，它接受一个回调，决定一个值是否应该被计数。

var mapper = function(shouldInclude) {
    return function() {
        emit(null, shouldInclude(this) ? 1 : 0);
    };
}

var reducer = function(key, values) {
    var sum = 0;
    for(var i = 0; i < values.length; i++) {
        sum += values[i];
    }
    return sum;
}

运行map / reduce:

var result = db.values.mapReduce(mapper(isTrue), reducer).result;

containsMinimum(2, result); // true
containsMinimum(1, result); // false


function isTrue(object) {
    return object.value == true;
}

function containsMinimum(count, resultDoc) {
    var record = db[resultDoc].find().next();
    return record.value >= count;
}

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

function atLeastTwoTrue($a, $b, $c) {

  int count = 0;
  count = (a ? count + 1 : count);
  count = (b ? count + 1 : count);
  count = (c ? count + 1 : count);
  return (count >= 2);
}