Simplification of Boolean Functions