Matematické Fórum

Reziel7 · 28. 04. 2009 16:05

Zdravím, vážně bych potřeboval pomoct s řešením referátu.
Potřeboval bych nějak nakopnout či poradit, abych věděl alespoň jak na to. Zadání je následující:

Detailně popište, jak k libovolné formuli p výrokové logiky vytvořit ekvivalentní
formuli v konjunktivní normální formě a ekvivalentní formuli v disjunktivní normální formě.
Co nejpřesněji odhadněte, jak maximálně velké mohou být výsledné formule, jestliže pů-
vodní formule byla velikosti n. Ukažte konkrétní příklady formulí (pro všechny velikosti n),
pro které je této maximální velikosti výsledných formulí skutečně dosaženo.

Děkuji moc předem za jakoukoliv radu, pomoc či připomínku.

Saturday · 30. 04. 2009 19:32

http://kti.ms.mff.cuni.cz/teaching/file … Logika.pdf - tak třeba zde na str. 36 se popisuje, jak vytvořit CNF a DNF k dané formuli, to ostatní zde bohužel asi nenajdeš

Snad to alespoň trochu pomůže

Reziel7 · 05. 05. 2009 14:15

Děkuji ... mno, ale problém mám vážně především s odhadem "Co nejpřesněji odhadněte, jak maximálně velké mohou být výsledné formule, jestliže pů-
vodní formule byla velikosti n." Mno snad mě k tomu ještě něco napadne ...

Matematické Fórum

#1 28. 04. 2009 16:05

K formuli výrokové logiky vytvoření ekv. formule v konj. a disj. formě

#2 30. 04. 2009 19:32

Re: K formuli výrokové logiky vytvoření ekv. formule v konj. a disj. formě

#3 05. 05. 2009 14:15

Re: K formuli výrokové logiky vytvoření ekv. formule v konj. a disj. formě