如何简化x &&（！y ||（y && z））

Question

Is there a better way to check whether x && (!y || (y && z)) is true? I guess I could create a function for that and do something like x && not_or_and(y, z) to mitigate some of the pain. But is this really all I can do?

Answer 1

Ignoring side effects in the expressions, this is logically equivalent

x && (!y || z)

The additional check you're doing in for y in (y && z) is redundant, because if you get to the point where you need to check that part of the expression at all, you've already determined that !y is false, which implies that y is true.