Rausfinden ob Aussagen equivalent sind

Neue Frage »

Auf diesen Beitrag antworten »
Shizmo Rausfinden ob Aussagen equivalent sind

Hallo, ich muss eine Aufgabe lösen, wo ich mit einer calculation (also mit umformen mit den Standard-Equivalenzen, wie Commutativity, Associativity, Idempotence, Double Negation, Inversion, T/F-Elimination, Negation, Contradiction, Excluded-Middle, Distributivitz, De Morgan, Implication, Contraposition, Bi-implication, Self-equivalence) rausfinden muss, ob die Aussagen equivalent sind.

Z.B die Aufgabe:

a ^ b AND (¬a v b) <=> a

Mit einer Wahrheitstabelle ist schnell klar, dass beide Aussagen equivalent sind, aber was muss bei der Umformung rauskommen, damit ich sehe, dass es equivalent ist.

Bei a ^ b kann ich eh nicht viel machen,
bei dem Zweiten allerdings schon, hab mal umgeformt und komme dann auf:

(a ^ ¬b v a) ^ (¬a v b)

Aber was kann ich damit anfangen?

LG
 
 
Neue Frage »
Antworten »


Verwandte Themen

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