Äquivalenz logischer Aussagen

25.10.2015, 19:54	Shizmo	Auf diesen Beitrag antworten »
Äquivalenz logischer Aussagen 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, Distributivity, De Morgan, Implication, Contraposition, Bi-implication, Self-equivalence) rausfinden muss, ob die Aussagen äquivalent sind. Z.B die Aufgabe: a ^ b AND (¬a v b) <=> a Mit einer Wahrheitstabelle ist schnell klar, dass beide Aussagen äquivalent sind, aber was muss bei der Umformung rauskommen, damit ich sehe, dass es äquivalent 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? Hab auch eine zweite, wo ich rausgefunden habe, dass sie äquivalent sind, dank einer Wahrheitstabelle, aber wieder nicht weiß, wie ich umformen soll, damit ich rausfinde dass sie äquivalent sind. ((a => b) => ¬a) AND (¬b v ¬a) ^ (¬b v b)
25.10.2015, 20:13	Shizmo	Auf diesen Beitrag antworten »
Sorry für Doppelposting, aber im Anhang noch die original-Angabe.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »