Rules For Simplifying Boolean Expressions