Simplify conditional formulas