[es] - Matematicka logika

Man-Wolf
Mihailo Joksimovic
Beograd

Član broj: 17016
Poruke: 873
*.eunet.yu.

+13 Profil

^{16.03.2009. u 01:14 - pre 184 meseci}

Pozdrav,

do sad sam nesto pricao sa drugarom i kaze mi da je na kolokvijumu imao sledeci zadatak:

Citat:

Na osnovu istinitosne tablice, sastaviti formulu.

---- TABLICA -------

tablica je imala 3 ulaza (tj. tri promenljive) i izlaz. Na izlazu nije uvek bilo Tacno, tako da nije tautologija u pitanju.

Meni stvarno nije jasno, kako je ovaj zadatak mogao da se uradi ? Metodom nagadjanja ? Ako je odgovor DA, koliko bi vremena trebalo da se pogodi formula, gde imamo 3 promenljive i 4 operacije (I,ILI, Negacija, Disjunktivno ILI, Ekvivalencija i ne mogu da se setim kako se zove, ali je oznaka => (sledi) - valjda implikacija) ?? Ili je resenje jednostavno, samo je meni mozak zakucao ??

EDIT: Da ne bude zabune, hteo sam da kazem da smo ucili samo ove 4 operacije (ne znam da l' postoji jos neka)

Odgovor na temu

EArthquake

Član broj: 20684
Poruke: 884
*.eunet.rs.

+67 Profil

Re: Matematicka logika - nejasno ?

^{16.03.2009. u 07:27 - pre 184 meseci}

mislim da je ono sto se trazi u zadatku mozda savrsena disjunktivna normalna forma
tj verovatnije mi nimalna disjunktivna normalan forma

ili pak savrsena/minimalna konjuktivna normalna forma

za savrsenu dijunktivnu normalnu formu recimo
gledas tabilcu , i gde su jedinice , tj gde je rezultat tacan zapisujes unose , recimo (ulazi su ti x y i z )

xyz (ako su svi ulazi tacni)
xy'z (ako su ulazi x i z 1 a y 0)
x'y'z' (ako su svi ulazi netacni)

i tako za svaku jedinicu u rezultatu tablice
pritom spajajuci ove implikante tako da na kraju dobijes recimo :

xyz+xy'z+x'y'z'..... u zavisnosti kakva je tablica i koliko tacnih rezultata ima

a za minimalnu disjunktivnu normalnu formu
mozes analiticki , koriscenjem teorema bulove algebre , da smanjis ovu SDNF
ali je za malo ulaznih parametara lakse to uraditi preko Karnoovih mapa , pa pogledaj sta su i kako se koriste

za SKNF i MKNF je ista prica , samo radis za 0 ne za 1 ...

valjda sam pogodio na sta si mislio , ako ne , postavi zadatak pa da vidimo

pozdrav

Odgovor na temu

Man-Wolf
Mihailo Joksimovic
Beograd

Član broj: 17016
Poruke: 873
*.eunet.yu.

+13 Profil

Re: Matematicka logika - nejasno ?

^{16.03.2009. u 10:13 - pre 184 meseci}

Hvala puno na odgovoru ! :-)

Naime, problem je sto je ovo dato kao zadatak iz predmeta: "Arhitektura Racunara". Tj. da pojasnim malo, nasuprot ovom zadatku, ja, koji sam bio druga grupa, sam imao zadatak da sastavim istinitosnu tablicu na osnovu neke funkcije. Poenta je, da je trebalo da bude nesto prosto sasvim, tj. ocekivalo se :-)

Da, razumeo sam skroz kako se radi :-) Hvala puno, jos jednom :-)

Takodje, okacio bih zadatak jos u prvom post-u, samo, kao sto rekoh, to je bio ortakov zadatak (koji je mene zbunio), a ni on se ne seca kako je tacno glasio ... Tako da sam mogao samo priblizno da objasnim, sto je bilo i dovoljno heheh :-))

Odgovor na temu