---

Geschrieben von Shizmo am 25.10.2015 um 18:55:

  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