boolean logic diagrams - Search