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
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
