Started adding examples for Simplifying Conditional Expressions.