30.10.2003 Bsp1

[seg2]

Wie geht man so ein Beispiel an? Vor allem, was ist x? Es ist ja keine Speicherbelegung vorgegeben. Hilfe :ahhh:

[oopster]

Wie geht man so ein Beispiel an? Vor allem, was ist x? Es ist ja keine Speicherbelegung vorgegeben. Hilfe :ahhh:
naja ich mach das so:

formel kann folgendes zustände haben:
t/f und (t/f oder t/F), dann setzt du z.B.: 01 ein dann bekommst du
t und (t oder f) --> t und t --> erfüllbar
das teil ist aber nicht gültig, weil man ne Belegung finden kann die den rechten Teil der Formel f macht: zum Beispiel mit 10
t und (f oder f) -> t und f --> daher Gegenbeispiel --> daher ist das keine Tautologie und nicht gültig, aber erfüllbar aber nicht unerfüllbar

ich hoff ich hab das jetzt auf die schnelle richtig berechnet

lg

[seg2]

naja ich mach das so:

formel kann folgendes zustände haben:
t/f und (t/f oder t/F), dann setzt du z.B.: 01 ein dann bekommst du
t und (t oder f) --> t und t --> erfüllbar
das teil ist aber nicht gültig, weil man ne Belegung finden kann die den rechten Teil der Formel f macht: zum Beispiel mit 10
t und (f oder f) -> t und f --> daher Gegenbeispiel --> daher ist das keine Tautologie und nicht gültig, aber erfüllbar aber nicht unerfüllbar

ich hoff ich hab das jetzt auf die schnelle richtig berechnet

lg


Achso einfach für x einsetzen. Hehe, darauf hätt ich selbst auch kommen müssen...

Danke :thumb: