Comments on: Logical Equivalence http://blog.blackhc.net/2009/01/logical-equivalence/ Just another weblog Sun, 29 Jan 2012 13:10:04 +0000 hourly 1 http://wordpress.org/?v=3.2.1 By: BlackHC http://blog.blackhc.net/2009/01/logical-equivalence/comment-page-1/#comment-88 BlackHC Fri, 20 Feb 2009 15:02:37 +0000 http://blog.blackhc.net/?p=306#comment-88 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 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

]]> By: Felix http://blog.blackhc.net/2009/01/logical-equivalence/comment-page-1/#comment-87 Felix Fri, 20 Feb 2009 11:00:07 +0000 http://blog.blackhc.net/?p=306#comment-87 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 ;) 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 ;)

]]>