Aufgabe:
. Beweisen Sie mit Hilfe einer Wahrheitstabelle, dass folgende Gleichung gilt:
(a ^ b) v (a ^ c) v ( b ^ !c) = (a ^ c) v (b ^ !c)
Problem/Ansatz:
Soweit ich weiß, brauche ich für eine Wahrheitstabelle die Normalform.
Dies ist so wie ich es sehe hier nicht der Fall. Meine Idee war nun den Term
so umzuformen, dass ich ihn auf eine Normalform bringen kann. Ich habe
allerdings ehrlich gesagt absolut keine Ahnung was ich damit anfangen soll.