(abdc)(adc-b)

##</code><code>##

(a AND b AND d AND c) OR (a AND d AND c AND NOT b)

##</code><code>##

(adc)