CNF

Uživatelský avatar
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

Příspěvek od Trupik »

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!
Uživatelský avatar
laliebijard
Matfyz(ák|ačka) level III
Příspěvky: 168
Registrován: 8. 6. 2005 10:26
Typ studia: Informatika Mgr.

Re: CNF

Příspěvek od laliebijard »

Trupik píše:Existuje nejaky snadny algoritmus jak primo odvodit CNF formule z tabulky vsech moznych ohodnoceni?? (jaku u DNF)
Ano, urobis DNF negacie danej formule a znegujes ju, cim dostanes CNF povodnej formule.
Tusim...
"posteľ sa rozbieha po koľajniciach z modrého medu"

Breton
Uživatelský avatar
macbeth
Matfyz(ák|ačka) level III
Příspěvky: 201
Registrován: 11. 2. 2005 14:48
Typ studia: Informatika Mgr.
Bydliště: PPraha
Kontaktovat uživatele:

Příspěvek od macbeth »

mozno polopatistickejsie: kuknes sa, kde ti v tabulke vysli nuly a potom to zapisujes znegovane...

napr mi vyslo, ze fla ma nulu ak p=0 a q=1 a este ked p=1 a q=1, tak CNF by mala byt (P v nonQ) a (nonP v nonQ)

aspon podla toho, co si pamatam...
Uživatelský avatar
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

Příspěvek od Dawe »

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.
Odpovědět

Zpět na „2005“