enhancement: simplify a ? false : b

[Spongman]

Product and Version Used: 2.2.0

Steps to Reproduce:

get refactorings for a ? false : b

Actual Behavior:
no simplification

Expected Behavior:
simplification: !a && b

[LesRamer]

Here's that expression and 3 more that I would also expect to simplify:

expression	⇒	simplified
a ? false : b		!a && b
a ? true : b		a || b
a ? b : false		a && b
a ? b : true		!a || b

[wiz0u]

Make sure b is bool, because these simplified expressions don't work if b is bool? for example

[josefpihrt]

@LesRamer 2nd and 3rd case is already covered by RCS1104. The other two ones are tricky because there is a negation which can lead to less readable code.

It would be useful to add refactoring (not analyzer) that would simplify these two remaining cases.