Logical Equivalence

It has taken me 3 months to finally solve this problem´.

Anyway - I proudly present:

(b \Rightarrow B_0) \land (\lnot b \Rightarrow B_1) \equiv \\ \equiv (\lnot b \lor B_0) \land (b \lor B_1) \equiv \\ \equiv (b \land B_0) \lor (\lnot b \land B_1) \lor (B_0 \land B_1) \equiv\\\equiv (b \land B_0) \lor (\lnot b \land B_1) \lor ((b \lor \lnot b) \land B_0 \land B_1)\equiv\\\equiv 
(b \land B_0) \lor (\lnot b \land B_1) \lor (b \land B_0 \land B_1) \lor (\lnot b \land B_0 \land B_1) \equiv \\ \equiv (b \land B_0) \lor (b \land B_0 \land B_1) \lor (\lnot b \land B_1) \lor (\lnot b \land B_0 \land B_1) \equiv\\ \equiv 
(b \land (B_0 \lor (B_0 \land B_1)) \lor (\lnot b \land (B_1 \lor (B_0 \land B_1)) \equiv \\ \equiv (b \land B_0) \lor (\lnot b \land B_1)

\o/,
Andreas

  1. Ich habe mich auch mal dran probiert und versucht, eine einfachere Lösung zu finden ( :P ), aber nachdem ich (als alle trivialen Methoden durchprobiert waren) auch bei der 3. Zeile von Deiner Umformung rausgekommen bin, habe ich es aufgegeben, eine _einfache_ Lösung zu suchen :)

    War es vorgegeben, die Aussage per Äquivalenzumformungen in den Endzustand überzuführen?
    Ansonsten würde ich sagen: http://xkcd.com/55/
    und hätte stattdessen einfach eine Wahrheitstabelle gemacht ;)

  2. It wasn't part of a homework at all tbh :-) It rather was something mentioned in our Info2 lecture without proof and I always wanted to know how to transform it, because it wasn't obvious to me.
    Cheers,
    Andreas

Leave a Comment


NOTE - You can use these HTML tags and attributes:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>