Umwandlung: KF - DF

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Umwandlung: KF - DF
https://www12.informatik.uni-erlangen.de/edu/gti/winter/uebung/loesung06.pdf

Hallo, in Aufgabe 1d) verschwindet von Zeile 2 auf 3 u.a. die Verundung von w-Strich und z. Kann mir jemand erklären wieso? Thx


Konsensus mit diesen drei Termen:

not(w)not(y) + not(w)z + yz

not(w)not(y) und yz teilen sich ein gleiches Literal (einmal negiert, einmal nicht negiert): y. Der Rest not(w)z ist dann in der Gleichung überflüssig.


Ach na klar :rolleyes:
Danke!