Matematické Fórum

↑ Arabela:

Děkuji za odpověď.

Mám pár otázek:

& znamená - kunjuce?

Heh, jak se jmenuje operace a operace

Jinak jsem vše zcela pochopil až na poslední 2 sloupečky.

A ještě bych se chtěl zeptat, jak sestavovat tabulku.

Jakoby zevnitř po jednotlivých operacích? Díky

A jinak co dál, když se mi podaří poskládat tabulku?

Edit:
-----------------------
ekvivalence a z toho plyne?

↑ Arabela:
A jak postupuji dál? Nebo tohle je konjunktní forma?

↑ Arabela:

disjunktívna normálna forma:

A  B  C
0  0  0 
0  0  1 

0  1  0   ...atd
0  1  1   ...atd
1  0  0  ...atd
1  0  1 
1  1  0 
1  1  1

V podstatě jen čtu první tři sloupečky... Ano to chápu, i nějak takhle mi to vysvětloval někdo, koho jsem nepochopil teď to už chápu.

KNF:

Můžeš prosím blíže specifikovat kde hledám tu nulu? Jen v prních třech sloupcích? A v jakém řádku jsi ji našla? Tohle moc nechápu. Děkuji

↑ Arabela:

Děkuji, nyní to již chápu, sesmolím nějaký příklad sám, prosím aby jste mi ho pak zkontrolovala(Když budete mít čas, budu Vám vděčný) zatím moc děkuji.

↑ PanTau:
skontrolovala som Ti tabuľku, je v poriadku. Zdá sa, že si vymyslel tautológiu (nadobúda hodnotu pravda pre všetky variácie hodnôt premenných A, B, C).
DNF tvoríš dobre.
KNF by som povedala, že v tomto prípade neexistuje... Ale veru neviem, či by mi to odsúhlasil aj nejaký naslovovzatý odborník na logiku... hmm...
Môj názor: neexistuje...

↑ PanTau:
Ehm, nie ze by som bol na slovo vzaty odbornik na logiku, nicmene KNF urcite existuje. Už jen kdyby človek napisal 
Tak je to v KNF (v tomhle pripade zaroven i v DNF)
A vubec jakakoliv tautologie v KNF s premennymi A,B,C bude ekvivalentna z touhle tautologií.


Ono, je i veta o tom, že každá formule se dá převést na KNF a DNF, takže to musí jít.

no kdyz tam nejsou 0, ja bych to zapsal, tak jak jsem napsal, proste dat OR na vsechny promenne a vsechny jejich negace, tak aby to byla tautologie. Jako, je to degenerovanej pripad. A je otazka co vlastne je tvou ulohou, jestli jenom chces formulu, ktera je ekvivalentni te formuly co mas, teda, že pokud dosadis za promenne stejne hodnoty, tak dostanes stejny vysledek, tak ti staci jakakoliv tautologie treba jenom . Cele je to otazka definic jak jste meli ve skole, to by mozna pomohli, kdyby jsi sem hodil nejaky material ktery pouzivate.

Jinak jina metoda jak prevadet na KNF, DNF, ktera je asi tezsi, je upravovat vyraz ktery jsi dostal. Nejdriv napises vsechny implikace a ekvivalence pomoci disjunkci a konjunkci. Pak pouzivas dalsi pravidla a upravy do tehdy, kym neziskas KNF nebo DNF. Ale pokud jste to tak nedelali, tak asi nema vyznam to rozebirat.