Guten Tag,

wir müssen fürs Studium hausaufgaben erledigen.

Zur Zeit sitzen wir zu 3 an einer Aufgabe und kommen nicht weiter.

Da wir verzweifeln wollte ich nun mal online nach Hilfe fragen.

Der Ausdruck wäre

Ist K2 = {{¬X, ¬Z}, {X, Y }, {¬Y }, {¬Y, Z, X}} erfullbar?

Wir sollen diese aufgabe mit einem "Baumartigen Diagramm" darstellen.

Könnte uns da jemand helfen ?