Logic Circuit Simplification - Search