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