(Def: Mod(F) = Mod(G)rep(F) = rep(G))
Literatur: D. E. Knuth: TAOCP (4A1) 7.1.4; Kroening, Strichman: Decision Procedures, 2.4.
naive Ansätze (Ü: bestimme o.g. Eigenschaften):