) can be simplified
if the two partial expressions (inside the braces) differ
in just one negated variable.
If the whole expression can be simplified, then the result
is the first partial expression without the variable that
differs. (So have to pick first partial expression.)