On the Shannon Capacity of Graph Formulae