Aussagenlogische Formel < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 12:30 Di 22.11.2005 | | Autor: | MrPink |
Hallo, ich habe die folgende Aufgabe und soll nun diese Formel konstrieren. Kann mir jemand einen ansatz für die Formel in QAL geben ?
Die Formel in normaler Aussagenlogik sollte ich hin bekommen, diese wird aber extrem kompliziert, da ich immer auf den übertrag zurück greifen muss, hat dort jemand ne idee, wie man dass irgendwie gut machen, ohne eine riesige monster Formel heraus zu bekommen ?
Danke im Voraus
[Dateianhang nicht öffentlich]
Dateianhänge:
Anhang Nr. 1 (Typ: JPG) [nicht öffentlich]
|
|
| |
|
Hallo Mr Pink,
die Formeln für "a+b+c=d mod 2" überlasse ich Dir...
[mm] \exists k_0 [/mm] : [mm] \exists k_1 [/mm] :... [mm] \exists k_{n+1} :\forall [/mm] i, 0< [mm] i\le [/mm] n+1:
[mm] k_0 [/mm] = 0
[mm] \wedge (k_i [/mm] = 1 [mm] \gdw ((x_{i-1} [/mm] = 1 [mm] \wedge y_{i-1} [/mm] = 1) [mm] \vee (x_{i-1} [/mm] = 1 [mm] \wedge k_{i-1} [/mm] = 1) [mm] \vee (y_{i-1} [/mm] = 1 [mm] \wedge k_{i-1} [/mm] = 1)) [mm] \wedge (x_i [/mm] + [mm] y_i [/mm] + [mm] k_i [/mm] = [mm] z_i [/mm] mod 2)
wobei [mm] x_{n+1} [/mm] = [mm] y_{n+1} [/mm] = 0 zu setztem ist.
Wenn Du die Serie von "Es existiert [mm] k_i" [/mm] am Anfang nicht haben willst, kannst Du eine Formel für "k = [mm] (k_0;k_1;...;k_{n+1}) [/mm] ist (n+1)-Tupel" oder
"k: [mm] \{0,1,...,n+1\}->\{0,1\} [/mm] ist Funktion" entwickeln und auf "Es existiert k:... " reduzieren.
Gruß, Richard
|
|
|
|
