Formeln mit Junktoren < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Betrachte ausschließlich Formeln, die die Junktoren [mm] \wedge, \vee [/mm] und [mm] \neg [/mm] enthalten. Zeige, dass es zu jeder booleschen
Funktion f : [mm] B^{n} [/mm] -> B (mit n [mm] \ge [/mm] 1) eine Formel F mit f = 〚F〛 und
|F| [mm] \le [/mm] 12 · [mm] (2^{n} [/mm] − 1) gibt. |
Mir macht die Aufgabe richtig Kopfschmerzen... Aussagenlogik ist mal überhaupt nicht mein Favorite...
Ich könnte mir vorstellen, dass ich das mit einer Induktion irgendwie beweisen könnte?!
Ich hoffe mir kann jemand helfen;
Mathe war noch nie mein Lieblingsfach ;)
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:20 So 08.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
