Bsp 14

[Megabit]

also, hier ist mal der erste teil

0->1 = 1
0->0 = 1
1->0 = 0
1->1 = 1


A B C AvB B->¬C ¬C (AvB) und (B->¬C) und C = WW WW -> A
0 0 0 0 1 1 0 1

0 0 1 0 1 0 0 1

0 1 0 1 1 1 0 1

0 1 1 1 0 0 0 1

1 0 0 1 1 1 0 1

1 0 1 1 1 0 1 1

1 1 0 1 1 1 0 1

1 1 1 1 0 0 0 1


da in der letzten Spalte überall 1 ist es tautologie (immer Richtig)

Dank geht an claudi und SilSha

[Megabit]

teil 2



A B C A->B B->C ¬C (A->B) und (B->C)= WW WW und A = XX XX und ¬C
0 0 0 1 1 1 1 0 0

0 0 1 1 1 0 1 0 0

0 1 0 1 0 1 0 0 0

0 1 1 1 1 0 1 0 0

1 0 0 0 1 1 0 0 0

1 0 1 0 1 0 0 0 0

1 1 0 1 0 1 0 0 0

1 1 1 1 1 0 1 1 0


da in der letzten SPalte überall 0 ist es kontradiktion (widerspruch)

[braveheart]

HI! Danke fürs Posting.

Wie kommst du auf die ersten 4 Zeilen:

1 impliziert 1 = 1
1 impliziert 0 = 0
0 impliziert 1 = 1
0 impliziert 0 = 1

[Megabit]

das ist nicht von mir nur (von den andern 2) , aber es ist immer so


siehe :
http://www.informatik.uni-siegen.de/~inf/EI1/Skript/section8a.html

( Tabelle: Wahrheitstabelle der Junktoren )

Implikation: A B ist erfüllt, wenn (A nicht erfüllt ist) oder (sowohl A als auch B erfüllt sind). Gedankenstütze: "Aus etwas Falschem darf man alles schließen; aus etwas Wahrem muß etwas Wahres folgen."

[braveheart]

Bist a Chef!

[Megabit]

nenene , ich bin genauso ahnungslos wie alle anderen :thumb:

[braveheart]

Jaja, dass war mein erstes Bsp. das ich jetzt gelöst (bekommen) habe.

Aber ist ja noch Zeit bis morgen :o