http://dbpedia.org/resource/File:Propositional_formula_NANDs.png
data from the linked data cloud