[CG] Transformations of Logical Graphs