boolen functions minimizer