Hallo Wie kann ich durch die Resolution darstellen das 2 Geschwister die selbe Mutter haben.
Wäre das einfach Mutter = (G1\{L}] u (G2\{L})
L sind positive Literale
