Izvinqvaq, vinata e moq che go obqsnih tolkova obarkano.
Nestava vapros za sintezirane na fynkciq zashtoo tova za koeto govorom

izobshto ne e fynkciq. Neka poglrdnem neshtata po deyk nachin. Neka

simvola "^" da zanachi stepen, toest zapisa "A^n" shte znachi A

na stepen n. Kogato A e mnojestvo to zapisa "A^n" shte znachi

mnojestvenno dekartovo proizvedenie, toest A^n = A X A X A X ... X A ,
1 2 3 n kadeto "X" e

simvol za dekartovo proizvedenie

Ochevidno e che vsqka dvyargymentna byleva fynkciq e podmnojestvo na

{0,1}^3. Mnojestvoto {0,1}^3 sadarja 8 elementa (2^3) :

000
001
010
011
100
101
110
111

ImpLikaciqta, kato vsqka edna dvyargymentna byleva fynkciq, e

podmnojestvo na {0,1}^3 s tochno 4 elementa:

001
011
100
111

Moqta Logociska zavisimost e podmnojestvo na {0,1}^3 s tochno 7

elementa:

001
011
100
111

000
010
110

Neka implikaciqta ot x kam y q oznachim s x-->y. A moqta

logicheska zavisimost s x-->>Y. Neka kogato implikaciqta ili moqta

logicheska zavisimost e ravna na 1 dago oznachavame sootvtno (x-->y)=1

, (x-->>y)=1. Analogochno shte oznachavame kogato te sa ravni na nyLa

(x-->y)=0 , (x-->>Y)=0.
Do tyk s formalnostite zashtoto te ne pokazvat smisala na ideqta.Shte

ti kaja otkade doide cqlata rabota. Predpolagam si chyval za

asociqcii, stava dyma za psihologiq. E, na kratko asociqciqta e vraska

mejdy dve edinici informaciq. Naprimer ako A i B sa nqkakvi edinici

informaciq to te mogat da napravqt asociativna vrazka toest asociaciq

ot A kam B, koeto shte znachi che vseki pat kogato se setish za A

to sled izvestno vreme shte se setish i za B. Ako kogato se seshtash

za A tozi fakt go oznachime s A=1, i sootvetno kogato se seshtash za

B to B=1. Togava Asociaciqta mejdy A i B bihme mogli da izrazime s

implikaciq A-->B. V psihikata na choveka ochevidno mogat da se

zazdavat asociacii i razbirase da se razryshavat. Kato razryshavaneto

oznachava zabraveneto. Togava ako (A-->B)=1 , tova shte znachi che

asociaciqta ot A kam B e zapomnena,a kogato (A-->B)=0 to tova shte

znachi che asociaciqta ili e zabravena ili izobshto ne e bila

zapometqvana.
Kogato (A-->B)=1 togava nqma problemi obache ako asociaciqta bade

zabravena toest (A-->B)=0 to tova shte sledva che A=1 i B=0. Ot

gledna tochka na nashata interpretaciq tova shte oznachava che sled

kato zabravim asociaciqt ot A kam B to neprekasnoto shte se seshtame

za A i nikoga za B. Koeto e palen absyrd!!! Parvo tova che sme

zabravili dadena asociaciq ne znachi che ne mojeme da se setime za B.

Zashtoto moje da ima zapametena dryga asociaciq naprimer (C-->B)=1.

Vtoro kakav e smisala da pomnim A sled kato asociaciqta A-->B e

zabravena, ako neshtata stoqta po tozi nachi togava bi trqbvalo da si

spomnqme vsichki ata ot zabravenite asociacii , a pri choveka te

sigorno sa molioni ili poveche, ot dryga strana bi trqbvalo da si

spomnqme i tezi ata sas koito izobshto ne sme pravili asociacii.

Zashtoto kazahme che (A-->B)=0 ili kogato asociaciqta e zabravena ili

kogato tq izobshto ne e bila zapomnena. Nakratko, kogato reshime da

izrazime asociaciite s implikaciq to stigame do absyrdi. E moqta

logicheska zavisimost izbqgva tezi absyrdi. Zashto?!

Neka poglednem implikaciqta i moqta zavisimost:

x y (x-->y) x y (x-->>y)

0 0 1 0 0 1
0 1 1 0 1 1
1 0 0 1 0 0
1 1 1 1 1 1

0 0 0
0 1 0
1 1 0

Ot tablicite se vijda che pri (x-->>y)=1 moqta zavisimost e tochno

kato implikaciqta. Obache pri (x-->>y)=0 neshtata sa dosta po

razlichni zashtoto moqta zavisimost sadarja dopalnitelni 3 elementa.
Kogato (x-->Y)=0 to ostava samo edna vazmojnost : x=1 i y=0. Dokato

pri moqta zavisimost ako (x-->>y)=0 to ostavat 4 vazmojnosti:

x=0, y=0
x=0, y=1
x=1, y=0
x=1, y=1

Toest pri (x-->>y)=0 sa vazmojni vsichki sachetaniq. V nashata

interpretaciq na asociacii to shte znachi che kogato asociaciqta q

zabravena ili izobshto ne e bila zapomnene to e vazmojen koito i da e

variant ot vsichkite vazmojni chetri. Toest A i B ne sa svarzani po

nikav nachin. Dokato pri implikaciqta tova ne e taka zashtoto kogato

tq e ravna na nyla to zadaljitelno A=1 i B=0 i tochno tova svoistvo

na implikaciqta dovejda do absyrdi v dadenata ideq.

Razbirase ne iska da kaja che sam nameril greshka v bylevata

algebra:)))))))))))))))))))))))))))))))))))) Prosto iskam da kaja che

mojebi golqma chast ot logicheskite svoistva ne mogat da se izrazqt s

byleva algebra i che logicheskite svoistva ne e zadaljitelno vsichki

logicheski svoistva da se izrazqt s fynkcii. Koi znae oshte kolko ima

adekvatni logicheski svoistva koito ne se izrazqvat s bylevi fynkcii a

s nqkakvi drygi podmnojestva na {0,1}^n.

OH napravo se izmorih............