Browsing: otimização de circuitos com porta NOT