Use of genetic algorithms in the optimization of the representations of logic functions