CNF
- Trupik
- Matfyz(ák|ačka) level III
- Příspěvky: 251
- Registrován: 3. 1. 2005 14:45
- Typ studia: Informatika Mgr.
- Kontaktovat uživatele:
CNF
Existuje nejaky snadny algoritmus jak primo odvodit CNF formule z tabulky vsech moznych ohodnoceni?? (jaku u DNF)
Domovská stránka: http://www.jakubmaly.cz/, blog: http://blog.jakubmaly.cz/
Petice proti olympiádě http://olympiada.nazory.cz
Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
Petice proti olympiádě http://olympiada.nazory.cz
Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
- laliebijard
- Matfyz(ák|ačka) level III
- Příspěvky: 168
- Registrován: 8. 6. 2005 10:26
- Typ studia: Informatika Mgr.
- Login do SIS: repij4am
Re: CNF
Ano, urobis DNF negacie danej formule a znegujes ju, cim dostanes CNF povodnej formule.Trupik píše:Existuje nejaky snadny algoritmus jak primo odvodit CNF formule z tabulky vsech moznych ohodnoceni?? (jaku u DNF)
Tusim...
"posteľ sa rozbieha po koľajniciach z modrého medu"
Breton
Breton
- Dawe
- Supermatfyz(ák|ačka)
- Příspěvky: 360
- Registrován: 12. 10. 2004 12:32
- Typ studia: Informatika Mgr.
- Bydliště: Doma a nebo na koleji
Myslím, že se to dá i docela dobře většinou převíst. Když se postupuje zvnějšku dovnitř (vždycky odstraňuju to co mi vadí a je nevíc venku u tý fle), třeba (...)->(...) --> non(...) v (...) , pak to non odstraním zase převodem podle pravidel až se to kamsi dostane a pak už je tak nějak vidět co s tím... Je to podobný jak něco dokazovat.