Converting Truth Tables to Truth Diagrams - Search