boolean laws with logic diagrams - Search