Kedze som nikde nenasiel jasnu odpoved na otazku cislo 2, tak som zacal nad tym rozmyslat, akoby sa to dalo... Mame pouzit rezolucnu metodu, ale ako pomocou nej zistit, ktori ludia maju ist na ten vylet?? Chcel som na to prist nejakym inym postupom, ale stale som niekde zlyhal, je to dost zlozite... Tak som sa vratil spet k myslienke s tou rezolucnou metodou... Kazdy si to asik hadze rovno do tej tabulky a hlada stvorec... Pisem tu cely postup, ako som sa ku tomu dostal. Snad si to niekto este rano precita
zadane:
A=>B, E=>(A˄D), ┐(B˄C), C<=>D, E˅D
po uprave na konjuktivny tvar to (u mna
) vyzera takto:
(┐A˅B)˄(┐E˅A)˄(┐E˅D)˄(┐B˅┐C)˄(┐C˅D)˄(┐D˅C)˄(E˅D)
mojimy myslienkovymi pochodmi som prisiel na uzasnu vec
kazda elementarna disjunkcia musi byt vyhodnotena ako 1...ale ako to docielit...
Spominanou rezolucnou metodou si to trosicku zjednodusime...
[1,2] [3,7] [4,6] [5]
(B˅┐E)˄D˄(┐B˅┐D)˄(┐C˅D)
dalsia uprava:
[1,3] [2] [4]
(┐E˅┐D)˄D˄(┐C˅D)
finalna uprava:
[1,2] [3]
┐E˄(┐C˅D)
dosiel som ku tomuto...dalej sa to upravovat neda, teda je jasne, ze to splnitelne je...ale ked sa pozrieme na to, co nam vzniklo, tak je jasny (jeden) par veci... E urcite nepojde na vylet a kedze ma byt ┐C˅D pravdive, tak to z tohto nemozme jednoznacne urcit. Preto sa pozrieme uplne na zaciatok... Je tam nieco take ako: E˅D... Kedze vieme, ze E bude nulove, tak D MUSI byt jednotkove... Z toho vyplyva, ze D bude jednotka. Kedze C<=>D, tak aj C bude 1. Kedze ┐(B˄C), tak B musi byt 0. Ostalo nam A, ktoreho hodnota vyplyva z A=>B. B vieme, ze je 0 a ak to ma byt pravdive pre 0, tak na mieste A musi byt tiez 0. Teda mame vysledok:
A = 0
B = 0
C = 1
D = 1
E = 0
Z tohto vyplyva, ze na vylet pojdu iba cecilia a dioniz... Nech sa zabavia
Kto mi neveri, nech si hocikde vyssie do formul dosadi hodnoty za jednotlive pismenka, ci mu vsade povychadzaju jednotky
Drzim palce zajtra
drzte aj mne