boolean diagram generator - Search