QBF Umformung < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 10:15 Di 16.06.2009 | | Autor: | Gilga |
Ich baue gerade ein größeres Programm system dass von dieser Umformung abhängt. Wollt mich nur versichern dass ich keinen geistigen Aussetzter dabei habe. Danke
[mm] (\exists [/mm] u [mm] \forall [/mm] w T(u,w)) [mm] \to \neg(\exists [/mm] x [mm] \forall [/mm] y S(x,y))
ergibt umgeformt
[mm] \forall [/mm] u [mm] \exists [/mm] w [mm] \forall [/mm] x [mm] \exists [/mm] y T(u,w) [mm] \to \neg [/mm] S(x,y)
T(u,w) Formel nur von u,w abhöngig
S(x,y) analog
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 10:20 Fr 19.06.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
