Matematická Logika

[ppeess]

inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho  (nx<=>y) v (n(ny=>z))
{n/negacia}

viem ye spravim tabulku pravdivostnzc odot ale co potom <<

Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....

[BlackBerry]

Neake info co bolo na bleskovke u Myskovej??

[Rajo]

inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho  (nx<=>y) v (n(ny=>z))
{n/negacia}

viem ye spravim tabulku pravdivostnzc odot ale co potom <<

Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....

A nie náhodou tak, že urobíš pravdivostnú tabuľku a z výslednej funkcie zistíš či je tautológia ? Tautológia je ak budeš mať vo výslednej funkcií samé jednotky(Ak máš samé 0 tak je Kontradikcia), či? 

[Maxxtro]

inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho  (nx<=>y) v (n(ny=>z))
{n/negacia}

viem ye spravim tabulku pravdivostnzc odot ale co potom <<

Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....

A nie náhodou tak, že urobíš pravdivostnú tabuľku a z výslednej funkcie zistíš či je tautológia ? Tautológia je ak budeš mať vo výslednej funkcií samé jednotky(Ak máš samé 0 tak je Kontradikcia), či? 

presne tak  

[bEnd3r]

u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke

[Rajo]

so easy? 

[Tren]

u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke

bolo aj nieco teoreticke, napisat poucku alebo nieco take?

[matotv]

u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke

bolo aj nieco teoreticke, napisat poucku alebo nieco take?

nie, cisto jeden priklad na 10 min

[ultimate]

tak, len jeden easy priklad bol

[Rajo]

tak, len jeden easy priklad bol

preto to je len za 3 body 

[veteran]

Toto vraj bolo u Myškovej dnes. Za predpokladu, že som to dobre opísal od tých, čo to už písali a že som to dobre naťukal do compu 

Sú tam pripísané aj výsledky - skúšal som to počítať. Niekto by to mohol prepočítať a porovnať, či som sa nepomýlil. 

[paloSK]

V MDT by nestacilo namiesto (negacia x, negacia y, negacia z),   dat (negacia x, negacia z) ?

[Rajo]

V MDT by nestacilo namiesto (negacia x, negacia y, negacia z),   dat (negacia x, negacia z) ?

nie, pretože tá jednotka sa nachádza na pozícií x=0,y=0,z=0 čo je úplne vlavo hore a tá jednotka nezasahuje do žiadnej premennej čiže musíš všetko znegovať

[paloSK]

V MDT by nestacilo namiesto (negacia x, negacia y, negacia z),   dat (negacia x, negacia z) ?

nie, pretože tá jednotka sa nachádza na pozícií x=0,y=0,z=0 čo je úplne vlavo hore a tá jednotka nezasahuje do žiadnej premennej čiže musíš všetko znegovať

Ja mam tu jednotku uplne vlavo dole.

[Rajo]

                               z   
                   y  ---------------
             -------------
     ---------------------------l
     l       l       l       l          l
     l   1  l  0   l   0  l   0     l
   l l---------------------------l
x l l      l        l      l           l   
   l l  0  l  0    l  1  l     1    l
   l l---------------------------l

mne aspoň vychádza, že mapa vyzerá takto z toho mi vychádza, že si zle určil MKT, tá posledna disjunkcia je z kade? 

[paloSK]

                               z   
                   y  ---------------
             -------------
     ---------------------------l
     l       l       l       l          l
     l   1  l  0   l   0  l   0     l
   l l---------------------------l
x l l      l        l      l           l   
   l l  0  l  0    l  1  l     1    l
   l l---------------------------l

mne aspoň vychádza, že mapa vyzerá takto z toho mi vychádza, že si zle určil MKT, tá posledna disjunkcia je z kade? 

hm, tak mne vysla mapa taka:      0110
                                                     1000

to su uz len cisla vo vnutry mapy

[Rajo]

každemu vyšlo niečo ine, never mind, aj tak to iste nebude 

[Maxxtro]

mne to tiež tak vyšlo     

0110
1000

[Rajo]

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

a máte asi inak umiestnené x, y, z v mape

[Hessesian]

Toto vraj bolo u Myškovej dnes. Za predpokladu, že som to dobre opísal od tých, čo to už písali a že som to dobre naťukal do compu 

Sú tam pripísané aj výsledky - skúšal som to počítať. Niekto by to mohol prepočítať a porovnať, či som sa nepomýlil. 

Ako mozes mat x+y'+z v UKT a zaroven x.y'.z v UDT ?

[orsi]

spravna mapa je určite (aj mne to tak vyslo):

0110
1000

[Rajo]

blbosť....

[orsi]

ano, my ideme podla myskovej systému, teda nie podla normálneho umiestnenia, na ktore su zvyknuty asi elektrotechnici. je to drbnute aj mne to vadi, ale co uz, treba sa to preučiť.

čekol som si to tvoje riešenie Rajo, a aj to je dobré ak ideš podľa "normálneho" systemu. teda že si tam davaš tie čiaročky po bokoch tabulky. 

[Rajo]

ano, my ideme podla myskovej systému, teda nie podla normálneho umiestnenia, na ktore su zvyknuty asi elektrotechnici. je to drbnute aj mne to vadi, ale co uz, treba sa to preučiť.

čekol som si to tvoje riešenie Rajo, a aj to je dobré ak ideš podľa "normálneho" systemu. teda že si tam davaš tie čiaročky po bokoch tabulky. 

SPŠE forewer 

[veteran]

Ako mozes mat x+y'+z v UKT a zaroven x.y'.z v UDT ?

A prečo nie? Veď pri el. konjunkciách neguješ tie premenné, kde máš 0 a pri el. disjunkciách tie, kde máš 1.