Algebra Booleana, Simplificacion de Funciones