一位面试官最近问了我这样一个问题:给定三个布尔变量a、b和c，如果三个变量中至少有两个为真，则返回true。
我的解决方案如下:
boolean atLeastTwo(boolean a, boolean b, boolean c) {
if ((a && b) || (b && c) || (a && c)) {
return true;
}
else{
return false;
}
}
他说这还可以进一步改进，但如何改进呢?
当前回答
他可能不是在寻找像位比较操作符这样复杂的东西(通常不是复杂的，但使用布尔值，使用位操作符是非常奇怪的)，或者像转换为int并对它们求和这样非常迂回的东西。
解决这个问题最直接和自然的方法是用这样的表达式:
a ? (b || c): (b && c)
如果你喜欢，可以把它放到一个函数里，但这并不复杂。该解决方案在逻辑上简洁有效。
其他回答
If the goal is to return a bitwise two-out-of-three value for three operands, arithmetic and iterative approaches are apt to be relatively ineffective. On many CPU architectures, a good form would be "return ((a | b) & c) | (a & b);". That takes four boolean operations. On single-accumulator machines (common in small embedded systems) that's apt to take a total of seven instructions per byte. The form "return (a & b) | (a & c) | (b & c);" is perhaps nicer looking, but it would require five boolean operations, or nine instructions per byte on a single-accumulator machine.
顺便提一下，在CMOS逻辑中，计算“不是三选二”需要12个晶体管(相比之下，逆变器需要2个晶体管，双输入NAND或NOR需要4个晶体管，而三输入NAND或NOR需要6个晶体管)。
函数ko返回答案:
static int ho(bool a)
{
return a ? 1 : 0;
}
static bool ko(bool a, bool b, bool c)
{
return ho(a) + ho(b) + ho(c) >= 2 ? true : false;
}
这个问题的非约简解是:
a'bc + abc' + abc + ab'c
减少使用k - map，可以得到:
bc + ab + ac
可以通过在a'bc和abc' minterms上使用exclusive或，并结合abc和ab'c minterms来进一步减少此值:
b(a ^ c) + ac
return (a==b) ? a : c;
解释:
如果a==b，则两者都为真或都为假。如果两者都为真，我们已经找到了两个真布尔值，并可以返回真(通过返回a)。如果两者都为假，即使c为真，也不可能有两个真布尔值，因此我们返回假(通过返回a)。这是(a==b) ?一个部分。c呢?如果a==b为假，那么a或b中只有一个为真，所以我们找到了第一个真布尔值，剩下的唯一问题是c是否也为真，所以我们返回c作为答案。
我不喜欢三元(return a ?(b || c):(b && c);从最上面的答案)，我想我没有看到任何人提到过它。它是这样写的:
boolean atLeastTwo(boolean a, boolean b, boolean c) {
if (a) {
return b||c;
}
else {
return b&&C;
}
