simplification of Boolean Functions