| 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 |
