Simplifying Conditional Logic