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