Ich habe zwei Funktionen f1 und f2, und soll zeigen, dass diese äquivalent sind mit hilfe einer Wahrheitstabelle.
f1(a,b,c) = ¬a b c ∨ a ¬b c ∨ a b ¬c
f2(a,b,c) = (b ∨ a) (a ∨ c) (a ∨ b) (¬a ∨ ¬b ∨ ¬c)
Man soll beachten, dass die Eingaben Binör hochzustellen sind, also erste Zeile, 0,0,0 und letzte zeile 1,1,1.
a soll in der ersten, b in der zweiten und c in der dritten Spalte stehen. Und ich soll eine angemessene Zahl von Zwischenschritten verwenden.
Ich bin gerade verwirrt was genau mit den "angemessenen Zahlen von Zwischenschritten" gemeint ist, und wie genau jetzt die Tabelle aussehen soll.