Vereinfachung < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | vereinfacehen sie:
[A -> (B->C)]-> [(A->B)->C] |
ich habe mit dem gesetzt a-> b = ~avb die rechung soweit vereinfacht, aber wirklich einfacher ist es noch nicht geworden, was kann ich da noch machen? würde mich sehr über hilfe freuen, bin schon total am verzweifeln...
[Av(Bv~C)] v[Av(~BvC)]
vielen dank kim
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:21 Mo 08.12.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
> vereinfachen Sie:
> [A -> (B->C)]-> [(A->B)->C]
> ich habe mit dem gesetz a-> b = ~avb die rechung soweit
> vereinfacht, aber wirklich einfacher ist es noch nicht
> geworden, was kann ich da noch machen? würde mich sehr
> über hilfe freuen, bin schon total am verzweifeln...
> [Av(Bv~C)] v[Av(~BvC)]
> vielen dank kim
Hallo kim,
![[willkommenmr]](/images/smileys/willkommenmr.png "[willkommenmr]")
leider hat bisher niemand auf deine Frage reagiert.
Ich habe sie jetzt auch nur entdeckt, weil sie wegen
Ablaufs des Fälligkeitsdatums nochmals erschienen ist.
Ich habe gar nicht versucht, einzelne Vereinfachungs-
schritte durchzuführen, sondern startete gleich den
"Generalangriff" durch Aufstellen einer Wahrheitstabelle
für alle möglichen Fälle. Das ist eine Tabelle mit 8 Zeilen
und (bei mir) 8 Spalten. Das Ausfüllen dauerte ein paar
Minuten, und dann war das Ergebnis abzulesen.
In der letzten Spalte (für den Wahrheitswert des
gesamten Ausdrucks) stehen bei mir nur genau 2 Nullen
und 6 Einsen. Hoffentlich habe ich mich dabei nicht geirrt.
Nun kann man recht leicht einen sehr einfachen Term
angeben, der genau dasselbe Wahrheits-Verhalten zeigt.
LG , Al-Chwarizmi
|
|
|
|
