Enviar por SMS: Switching theory for logic synthesis /