Aussagenlogik Normalform

Neue Frage »

X.Y. Auf diesen Beitrag antworten »
Aussagenlogik Normalform
Hallo zusammen,

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?
PrototypeX29A Auf diesen Beitrag antworten »

In welche Normalform? Ich kenne für Aussagenlogik schon drei.
X.Y. Auf diesen Beitrag antworten »

Sagen wir einfach. Wie vereinfache ich den Ausdruck!
Abakus Auf diesen Beitrag antworten »
RE: Aussagenlogik Normalform
Zitat:
Original von X.Y.
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?


Richtig umgesetzt soweit. Nun kannst du mit den DeMorgan'schen Regeln zB weiterrechnen.

Grüße Abakus smile

PS: benutze doch bitte Latex: \land = , \lor = , \overline{A} =
X.Y. Auf diesen Beitrag antworten »
RE: Aussagenlogik Normalform
Danke fuer die Bestaedigung.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »