Ip- §. Мулох,азалар алгебраси н и нг форул ала ри, Мулоцазалар алгебр асининг асосий вазифаларида н

I) л А == А (икки каррали инкор цонуни);

2. 
   А/\В ж В/\ А (конъюнкqиянинг коммутативлиги):
   
3. 
   А В ^B_V А (днзъюнкциянннг ко.чмутативлиги),
   
4. 
   А /\(В С) ж (А/\В)/\С (коныонкциянинг ассоциатив-
   

лнги):

2. 
   A _V (B\/ С) ж (A _V ^B)_V C (дизъюнкііиянинг ассоциатнв-
   

лИгН):

2. 
   А/\(B_V С) (А/\В} V ^(А ЦС} (конъюнкциянинг дизъ-
   

^{юнкцияга нисбатан} Ая^{стрибутивлиги);}

2. Л_V (B/\C) ^(A_V B)/\(A_V C (дизъюнкqиянинг конь-

юнкцияга нисбатан дистрибутивлиги);

2. (А В) ^A_V В;

3. 
   (Л_V ^B) А В,
   

(бу иккала теНг кучлилик Де Морган віонуіілари деб юритилади)

2. 
   А /\ А А (коньюнкция ва дизъюнкция амалларіtнинг ^{11) Л}V ^{A А идемпотентлик qонунлари);}
   

12) А 1 - А;

^{13) Л} V ^{L ж А;}

14) А/\ А - L,

15. 
    ^А _V ^{А - I (учинчисини инкор этиш дон}О^ни);
    

16. А L L;

^{17) Л} V ^{—- ‘.}

18. 
    А (А /\ В) ж А (ютилиш цонуни);
    

19. АД (A _V B) •• А;

20. 
    А В - т ^Л _V ^B,
    
21. 
    (Л w В) m— А/\ т В;
    
22. 
    л В ^(ЯЩВ _V( л А л В),’
    
23. 
    (А В) (т ^A _V В)Щ(Я_V В).
    

Ю$оридаги асосий тенг кучлиликлардаги бар бир формула иккита компонентга боглнц функциялардир. Бу тенг кучлиликлар ни исталган чекли сонда ги форму- лалар yuyн ёзиш мумкин (ростлик жадваллари ёрда- мида ёки ма нти Пий амаллар ёрдам ида юцорида келтн- рилган тенг кучл иликла рн и исбот фил инг) .
Энди м антици й (логпк) а м алларнинг бажа рилиш
тартп 611 ^T_OFД licHдa бп р оз _•у хта ли6 ута миз.
Arap формула да ги ам аллар нинг тартиби цавслар ёрда мида курсатил м ага н булса, улар цуйидаги кетма-
К£•ТЛ ИКД £t , ЯЪН И ИН КО]Э , К ОНЪЮНКЦИ Я, Д И3 ЪЮНКЦ И Я, ИМ П-
ликация ва эпг охирида эквиваленция тартибида бажа- рилади. Ку п ролла рда а ма лла рни ба жариш кетм а-кет- лиги haвслар ёрда мида ку рсатилади.

амаллар юіtорида айтилгани:tек, , , _V, w, ‹г кe т›ia-кeт- лихда бажарилади. В (х, у, z) (((xюz) w z)Щ л z), ,у фор-
мулаАа эса а ‹а.з.сзр л , ю, w, яа ,/’\ тартибда бажари
^Лd/tЧ.
Мулоцазалар алгебраси жуда куп му¿им амалий татбицл а pra эга. Цозн рги за мон электрон цисоблаш ма- шиналарининг ишлаш н‹араёни хам му‹зохазалар ал- гебр асига асосл а нган. Бунинг са баби шундан ибор атки, мулоцаз ала р алгебрасида ги учта ва ундан opтиф ал- гебраик амалларни доимо иккита алгебраик амалга келтириш мум кин.
Дa цитата н, Де Mopra н цонунларн