If you take a propositional logic formula with you can construct a graph in a straightforward manner: each connective is a node and there is an edge between two nodes iff the nodes share a variable.
My question is how do you call this graph. I would call it a structural graph but it doesn't sound right.