Boolean Logic -- Conditional Pure Literal Graphs -- Evaluating Search Heuristics and