Rappresentazione delle formule (grafi)