Hallo Zusammen,

im Zuge meines Studiums wurde ich mit der Booleschen Algebra konfrontiert. Ich habe aber ein Problem mit dem Vereinfachen von Funktionen. Wir sollen bei der Aufgabe die Resolutionsregel anwenden. Nur mir kann niemand erklären wie die Regel richtig funktioniert. Zur Info, das ist ein halbes Fernstudium und irgendwie kann/will mein Prof und auch meine Ansprechpartner keine ordentliche Erklärung machen.

Vielleicht kann mir hier jemand helfen.

(-a && -b && -c && -d) ||
(-a && -b && c && d) ||
(-a && b && -c && -d) ||
(-a && b && c && d) ||
(a && -b && -c && -d) ||
(a && -b && c && d) ||
(a && b && -c && -d) ||
(a && b && c && d)

Anmerkungen:
- = Negation
&& = Und
|| = Oder

Ich habe bei der Aufgabe einfach Probleme mit dem Kürzen. Ich weiß nicht wie ich Kürzen soll. Man könnte nämlich alles wegkürzen. Ein Arbeitskollege sagte mir heute, dass man pro Zeile immer nur ein Element wegstreichen darf.
Die Musterlösung liegt mir auch vor, aber daraus werd ich nicht schlau.

Wenn jemand so freundlich wäre und mir erklärt wie ich vorgehen soll bzw. wie ich allgemein mit der Resolutionsregel Kürze. Das wär super.

Vielen Dank schon im Voraus.

Grüße,
landy