Aussagenlogik Normalform |
26.07.2007, 09:55 | X.Y. | Auf diesen Beitrag antworten » | ||
Aussagenlogik Normalform ich habe folgenden Logischen Ausdruck: (A v C) -> (A ^ B) Wie kann ich den in die Normalform bringen. Mein Ansatz war ¬(A v C) v (A ^ B) aber der ist denke ich falsch. Wie geht es richtig? |
||||
26.07.2007, 10:58 | PrototypeX29A | Auf diesen Beitrag antworten » | ||
In welche Normalform? Ich kenne für Aussagenlogik schon drei. |
||||
26.07.2007, 11:05 | X.Y. | Auf diesen Beitrag antworten » | ||
Sagen wir einfach. Wie vereinfache ich den Ausdruck! |
||||
26.07.2007, 19:06 | Abakus | Auf diesen Beitrag antworten » | ||
RE: Aussagenlogik Normalform
Richtig umgesetzt soweit. Nun kannst du mit den DeMorgan'schen Regeln zB weiterrechnen. Grüße Abakus PS: benutze doch bitte Latex: \land = , \lor = , \overline{A} = |
||||
27.07.2007, 11:24 | X.Y. | Auf diesen Beitrag antworten » | ||
RE: Aussagenlogik Normalform Danke fuer die Bestaedigung. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|