1: (a AND b) OR (a AND c) OR (b)

##</code><code>##

2: b OR (X)

##</code><code>##

3: b OR (a AND false) OR (a AND c) OR (false)