我打算在电气工程上问这个，但决定它与编程更相关。
通过数字逻辑，我们可以使用卡诺图或布尔代数将真值表简化为最小化的函数。在 CPU 上，这些函数当然可以使用条件语句来表达，但是，我很好奇是否有一种标准方法可以在没有分支的情况下实现它们，只要可能的话，只使用位操作。
我不知道现在能够做到这一点是否有趣，或者使用今天的处理器是否真的会更有效。尽管如此，它在过去可能是相关的，无论如何知道它会很有趣。
所以，假设我有f = !a*b + !b*!c或任何类似的功能：是否有一个系统（如卡诺）通过使用额外的寄存器、计算总位、掩码等来找出是否存在避免分支的“智能”方法？或者，它只是你看到的东西，如果你看到它，否则你没有？