Länge von Formeln < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 15:20 Do 05.11.2009 | | Autor: | AlexW22 |
| Aufgabe | | In dieser Aufgabe betrachten wir nur solche Formeln, die ausschließlich die Junktoren [mm] \wedge \vee [/mm] und [mm] \neg [/mm] enthalten. Zeigen Sie, dass es zu jeder boolschen Funktion f: [mm] |B^n [/mm] -> |B ( mit [mm] n\ge [/mm] 1) eine Formel F gibt mit f=Semantik(F) und [mm] |F|\le12*(2^n-1). [/mm] |
Bitte um Hilfe!
Bin total verzweifelt. Erstens versteh ich die Aufgabenstellung nicht zu anderem kann ich ohne die Aufgabenstellung zu verstehen kaum die Aufgabe lösen.
f= Semantik(F) und [mm] |F|\le12*(2^n-1)
[/mm]
Was heisst das?
Bitte um Hilfe wirklich dringend.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Fr 06.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
