boolean diagram creator - Search