Vita:Konjunktív normálforma

Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik.
Bátran kapcsolódj be a szerkesztésébe! Besorolatlan Ezt a szócikket még nem sorolták be a kidolgozottsági skálán. Nem értékelt Ezt a szócikket még nem értékelték a műhely fontossági skáláján. Értékelő szerkesztő: ismeretlen

Untitled

Gubb, ez nem hibás véletlenül? Rossz példák 2.)

$(A\wedge B)\vee C$

=(?) Jó példák 2.)

$(A\vee B)\wedge (B\vee C)$

Szerintem a kettő nem tűnik ekvivalensnek... Vagy nem is ez a cél?

Javítsd nyugodtan, ha hiba van. Csak most írom még, előkészületes (mára befejeztem, elfáradtam, holnap majd folytatom). Sajnos a szerkesztés közbeni TEX-kódban nehezebb átlátni a formulákat. Valószínűleg elírtam, és az első B-t C-re kell cserélni. Gubb 2005. május 29., 00:54 (CEST)

---

"Jelenleg nem tudjuk, erre a feladatra adható-e egy polinomidőben befejeződő megoldási algoritmus (azaz fogalmunk sincs arról, hogy SAT ∈ NP igaz-e);"

Bocs, de ide nem azt akartad írni, hogy SAT ∈ P igaz-e? :-(

Hogyne, hiszen két sorral lejjebb világosan leírtam, hogy SAT ∈ NP. Köszönöm, a copypaste után elfelejtettem törölni az N-t. Gubb 2005. május 29., 22:31 (CEST)

Induktív

defi. Gubb 2005. június 1., 16:14 (CEST)