Tautologie zeigen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Sorry ich stehe gerade auf dem Schlauch und komme nicht darauf.
Wenn ich nun 3 Variablen habe und folgende boolesche Formel: ((¬a∧c)∨(b∧a)∨(¬b∧¬c))
Wann ist dies nun eine Tautologie? Muss nur einer der ∨ Operatoren durchweg wahr sein? Oder welches ist der Entscheidende Operator?
Vielen Dank im Voraus
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
> Sorry ich stehe gerade auf dem Schlauch und komme nicht
> darauf.
> Wenn ich nun 3 Variablen habe und folgende boolesche
> Formel: ((¬a∧c)∨(b∧a)∨(¬b∧¬c))
> Wann ist dies nun eine Tautologie? Muss nur einer der ∨
> Operatoren durchweg wahr sein? Oder welches ist der
> Entscheidende Operator?
Das hat nichts mit dem Operator an sich zu tun. Unabhängig von der Belegung der Variablen mit Wahrheitswerten, muss deine Aussagenverbindung im kompletten immer wahr sein (also 1).
Tipp zur Lösung:
Stelle dir eine Wahrheitstabelle für drei Variablen auf.
Du kannst nach diesem Skript S. 3 arbeiten:
https://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=7&cad=rja&uact=8&ved=0CEAQFjAG&url=http%3A%2F%2Fwww.informatik.uni-bremen.de%2F~michaelh%2FLehrveranstaltungen%2FAna1_WS06%2FMaterial%2FAussagenlogik.pdf&ei=rLdEVI-sM6O7ygPh_IGwAg&usg=AFQjCNGKsj_SY2h5TAm8_Zi86rkGygftHw&bvm=bv.77648437,d.bGQ
Valerie
|
|
|
|
