Aussagenalgebra

Gästchen · Gast

Hallo!

ich möchte zeigen, dass gilt:

(wie macht man diese und und oder zeichen?)

Ich möchte das nicht über eine Wertetabelle beweisen, sondern über Termumformungen. Ich könnte ausklammern, so dass da steht:

(a und b oder a) und (a und b oder nichtb)

aber wie dann weiter? Bitte kann mir jmd. möglichst schnell helfen?! smile

Gruß!

Crotaphytus · Anmeldungsdatum: 08.05.2005 Beiträge: 213

Betrachte dazu folgendes:

Ich denke, du müsstest wissen, wie das umgeformt werden kann. Also tu das einfach mal und schau dann, ob dir das in deinem Fall irgendwie weiterhilft.

PS: \land und \lor sind die Befehle für die Symbole, die du suchst. Ist eigentlich ja auch ganz eingänglich, and und or sollten klar sein, das l steht dann noch für logical, fertig. LaTeX-Befehle sind so herrlich logisch... Augenzwinkern

ED209 · Anmeldungsdatum: 30.05.2005 Beiträge: 122

Probier mal zweimal auszuklammen.

Gästchen · Gast

Crotaphytus' Ding müsste ausgeklammert so aussehen:

aber ich sehe nicht wie mir das bei meinem Beispiel hier weiterhilft traurig

Gästchen

Crotaphytus · Anmeldungsdatum: 08.05.2005 Beiträge: 213

Also, die Rechnung ist schon mal richtig.

Jetzt vergleich das einfach mal mit dem, was du als Ausgangssituation gegeben hast. Fallen dir da gewissen Gemeinsamkeiten auf? Das lässt sich dann also offensichtlich in etwas der Form überführen, wie ich es oben gepostet hab.

An der kann man das Ergebnis dann sofort ablesen.

Tobias · Anmeldungsdatum: 15.02.2005 Beiträge: 149

außerdem ist

Tautologie.

Klingelts?

Gast

ich trottel, jetzt seh ichs.