Vorheriges Thema anzeigen :: Nächstes Thema anzeigen |
Autor |
Nachricht |
Gästchen Gast
|
Verfasst am: 12. Mai 2006 16:47 Titel: Aussagenalgebra |
|
|
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?!
Gruß! |
|
Nach oben |
|
|
|
Crotaphytus
Anmeldungsdatum: 08.05.2005 Beiträge: 213
|
Verfasst am: 12. Mai 2006 18:53 Titel: |
|
|
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... _________________ Genie oder Wahnsinn? Wer kann es wissen... |
|
Nach oben |
|
|
ED209
Anmeldungsdatum: 30.05.2005 Beiträge: 122
|
Verfasst am: 12. Mai 2006 20:38 Titel: |
|
|
Probier mal zweimal auszuklammen. _________________ +++++++++++++[>++++>+<<-]>.--.>---. |
|
Nach oben |
|
|
Gästchen Gast
|
Verfasst am: 13. Mai 2006 13:12 Titel: |
|
|
Crotaphytus' Ding müsste ausgeklammert so aussehen:
aber ich sehe nicht wie mir das bei meinem Beispiel hier weiterhilft
Gästchen |
|
Nach oben |
|
|
Crotaphytus
Anmeldungsdatum: 08.05.2005 Beiträge: 213
|
Verfasst am: 13. Mai 2006 13:16 Titel: |
|
|
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. _________________ Genie oder Wahnsinn? Wer kann es wissen... |
|
Nach oben |
|
|
Tobias
Anmeldungsdatum: 15.02.2005 Beiträge: 149
|
Verfasst am: 13. Mai 2006 13:29 Titel: |
|
|
außerdem ist Tautologie.
Klingelts? |
|
Nach oben |
|
|
Gast
|
Verfasst am: 13. Mai 2006 14:59 Titel: |
|
|
ich trottel, jetzt seh ichs.
|
|
Nach oben |
|
|
|