funktional vollständig < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:13 Di 28.04.2009 | | Autor: | Wimme |
| Aufgabe | Konstruieren Sie eine Formel [mm] \varphi(X_0,X_1,X_2), [/mm] so dass für alle passenden Interpretationen gilt, dass sich durch ändern genau eines Wahrheitswertes auch der Wahrheitswert von [mm] \varphi [/mm] ändert.
Kann [mm] \varphi [/mm] so gewählt werden, dass die Funktion, die durch [mm] \varphi [/mm] definiert ist, funkt. vollständig ist? |
Hallo!
Also, die Ergebnisse der Wahrheitswertetabelle sind meiner Meinung nach 01101001 oder 10010110.
Für den ersten Fall hätten wir die Formel:
[mm] \varphi(X_0,X_1,X_2) [/mm] = [mm] (\neg X_0 \wedge (X_1 [/mm] XOR [mm] X_2)) \vee (X_0 \wedge (X_1 \gdw X_2))
[/mm]
Wenn man ne 0 hätte, wäre das wohl funktional vollständig. So aber nicht, oder? Wie beweise ich sowas?
Dankesehr!
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Do 30.04.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
