Dyskusja:Koniunkcyjna postać normalna
Z Wikipedii
Zdecydowanie nie zgadzam sie z sugestia, oto powody:
- Problem spelnialnosci formuly to problem obliczeniowy, a CNF to okreslona postac formuly,
- Problem spelnialnosci dotyczy formul w ogole, nie zas jedynie formul w postacji CNF (jako przyklad innej postaci formuly moze posluzyc Dysjunkcyjna postać normalna, a i to oczywiscie nie wyczerpuje wszystkich mozliwych postaci formul logicznych),
Nie nalezy mylic problemu obliczeniowego dotyczacego formul z postaciami formul odnoszacymi sie do ich skladni. Ktos kto bedzie czytal o CNF niekoniecznie musi interesowac sie problematyka teorii obliczen, moze na przyklad poszukiwac informacji o CNF z punktu widzenia logiki.
Aktualnie az dwa rozdzialy artykulu o CNF dotycza problemow teorii obliczen odnoszacych sie do CNF ale nie oznacza to, ze definicja CNF przynalezy do teorii obliczen. Ten stan artykulu moze sie zmienic w przyszlosci. Podobnie artykul o problemie spelnialnosci moze zostac rozbudowany tak by obejmowal znacznie wiecej niz tylko wzmianke o tym, ze jest on szczegolnie ciekawy dla formul CNF.
esoth
