Browsing: otimização de circuitos com portas lógicas