Added optimization and implementation
Implementing Quine-McCluskey and Petrick methods to compute the minimization of a Boolean function