简化一个长布尔表达式

Question

我对这个平台非常陌生，在CS-类中，关于布尔表达式，我遇到了麻烦。我必须简化这个布尔表达式，而不知道怎么做。

双x；双y；

布尔值b=( (y < -x) ^ (5 *x >= y) ) && (x <-y != (x >= y* 0.2) )

Answer 1

假设是纯数学，y < -x是x < -y，5 * x >= y是x >= y * 0.2，whateverBoolean1 ^ whateverBoolean2是whateverBoolean1 != whateverBoolean2。因此，您可以省略&&运算符的任何一面。

我忽略了浮点算法的怪诞(0.2不是精确的数字，所以经过一番努力，也许可以找到一些反例，即原始表达式和简化表达式并不等价)。