Мулохазалар алгебрасининг асосий тенг кучлиликлари. Буль алгебраси - Алгебра - Рефераты

Мулохазалар алгебрасининг асосий тенг кучлиликлари. Буль алгебраси

Загружено в:

11.09.2022

Скачано:

0

Размер:

62.5 KB

Мулохазалар алгебрасининг асосий тенг кучлиликлари. Буль алгебраси Режа: 1. Айнан рост формула 2. Айнан ёлгон формула 3. Бажарилувчи ва тенг кучли формулалар, 4. Асосий мантикий конунлар, 5. Буль алгебраси.

Таянч иборалар : айнан рост формула, айнан ёлгон формула, бажарилувчи ва тенг кучли формулалар, асосий мантикий конунлар, Буль алгебраси. Олдинги маърузада < Р,  ,  ,  ,  ,  > мулохазалар алгебраси ва унинг формулалари таърифи берилган эди. Т А Ъ Р И Ф 1 : U (А 1 , А 2 , … , А n ) мулохазавий формула А 1 , А 2 ,… , А n узгарувчи мулохазалар кийматларининг барча наборларида 1 ( еки 0) киймат кабул килса, яъни рост ( ёки ёлгон) булса, у айнан рост (ёки айнан ёлгон) формула деб аталади ва кискача АР (ёки АË) формула деб белгиланади. Агарда U формула АР ( ёки АĔ) булса, U  1 ( ёки U  0) деб ёзилади. М а с а л а н : ростлик жадвали тузиш оркали U(А,В) = А  (В  А) ,  (А,В) = А   (А   В) формулалар учун U (А,В)  1,  (А,В)  0 эканлигини курсатиш мумкин. Т А Ъ Р И Ф 2 : Агарда U (А 1 ,А 2 , …, А n ) мулохазавий формула хеч булмаганда битта наборда 1 (рост) кийматни кабул килса, у бажарилувчи формула дейилади. М а с а л а н , хар кандай АР формула бажарилувчи, хар кандай АЕ формула эса бажарилмовчи формула булади. Т А Ъ Р И Ф 3: Агарда U (А 1 ,А 2 , …, А n ) ва V (А 1 ,А 2 ,…, А n ) формулалар барча уринлаштиришларда бир хил кийматлар кабул килса, улар тенг кучли формулалар дейилади ва U  V каби белгиланади. М и с о л . U (А,В,С) = (А  В)  С , V (А,В,С) = (  А  В)  С тенг кучли формулалар эканлигини ростлик жадвали оркали курсатамиз. А В С  А А  В  А  В U (А,В,С) V (А,В,С) 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0

1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 Мулохазавий формулаларнинг тенг кучли булиш муносабати бинар муносабат булиб, у куйидаги хоссаларга эга : I . U  U - рефлексивлик хоссаси ; II . U  V булса, у холда U  V - симметриклик хоссаси ; III . U  V ва V = W булса, U  W - транзитивлик хоссаси ; Тенг кучли формулаларга мантикий амаллар куллаш оркали яна тенг кучли формулалар хосил булади, яъни U 1  V 1 ва U 2  V 2 булса, у холда 1) U 1  U 2  V 1  V 2 2) U 1  U 2  V 1  V 2 3) U 1  U 2  V 1  V 2 4) U 1  U 2  V 1  V 2 5)  U 1   V 1 ,  U 2   V 2 Мулохазалар алгебрасининг асосий тенг кучлиликлари куйидагилардан иборатдир : I .   А  А ( куш инкор конуни) ; II . А  В  В  А ( дизъюнкциянинг коммутативлиги) ; III . А  В  В  А (конъюнкциянинг коммутативлиги) ; IV . А  (В  С)  (А  В)  С ( дизъюнкциянинг ассоциативлиги); V . А  (В  С)  (А  В)  С (конънкциянинг ассоциативлиги) ; VI . А  (В  С)  А  В  А  С (дизъюнкциянинг конъюнкцияга нисбатан дистрибутивлиги); VII . А  В  С  (А  В)  (А  С) (конъюнкциянинг дизъюнкцияга нисбатан дистрибутивлиги); VIII . А  А  А (дизъюнкциянинг идемпотентлиги) ; I Х.. А  А  А (конъюнкциянинг идемпотентлиги); Х. А  (А  В)  А , А  А  В  А ( ютилиш конуни) ;

Х I .  (А  В)  А  В,  (А  В)  А  В (Де Морган тенг кучлиликлари); XII . А  А  1 ( учинчини инкор этиш конуни) ; XIII . А  А  0 ( карама-каршилик конуни ) ; XIV . А  1  1 , А  0  А , А  1  А , А  0  0 ( мантикий узгармаслар тенг кучлиликлари); XV . А  В   В  А (контрапозиция конуни). Бу тенгкучлиликларни ( мантикий конунларни) уринли эканлигини ростлик жадваллари оркали бевосита текшириб куриш мумкин. Бу асосий тенгкучлиликлардан фойдаланиб, мураккаброк куринишдаги мулохазавий формулани унга тенг кучли булган соддарок формула билан алмаштириш (соддалаштириш) мумкин. М а с а л а н ,  (  А  В)  А  В  А  В еки (А  В)  (А  В)  А. Бундан ташкари мулохазалар алгебрасида А  В  А  В , А  В  (  А  В)  (А  В) импиликация ва эквиваленция тенгкучлиликлари хам уринли. Булардан мулохазалар алгебрасида импликация (  ) ва эквиваленция (  ) амаллари мустакил булмасдан, уларни дизъюнкция (  ), конъюнкция (  ) ва инкор (  ) амаллари оркали ифодалаш мумкинлиги келиб чикади. Шу сабабли мулохазалар алгебрасини <Р,  ,  > куринишда езиш мумкин, яъни у иккита бинар ва битта унар амал билан тулик аникланади. Энди Буль алгебраси тушунчасини киритамиз. Бирорта буш булмаган  туплам элементлари учун кандайдир усулда иккита бинар амаллар  ва  хамда битта унар  амал аникланган булсин. Бундан ташкари  тупламда иккита «махсус» элементлар 1 ва 0 мавжуд деб хисоблаймиз.

Т А Ъ Р И Ф 4 : <  ,  ,  ,  > система Буль алгебраси деб аталади, агарда  тупламга тегишли ихтиерий а,в,с ва 0,1 махсус элементлар учун куйидаги шартлар бажарилса: 1. (а  )  =а ; 2. а  в=в  а 3.а  в = в  а 4. (а  в)  с = а  (в  с) 5. (а  в)  с= а  (в  с) 6. а  (в  с) = (а  в )  (а  с) 7. а  (в  с) = (а  в)  (а  с) 8. а  а = 0 9. а  а = а 10. (а  в)  = а  в  11. (а  в)  = а  в  12. а  1 = 1 , 13. а  0 = а 14. а  1 = а 15. а  0=0. Масалан, мулохазалар алгебраси < Р,  ,  ,  >, электротехникада контактлар алгебраси Буль алгебрасини ташкил этади. Тузувчи: 1. Пулатова М. 2. Расулов Н.П. 3. Муминов Ш.Р. 4. www . ziyonet . uz

Похожие

Мулохазалар алгебраси

Мулохазалар алгебрасининг кулланилиши

Буль алгебрасининг асосий аксиома ва қонунлари

Умумкийматли ва бажарилувчи формулалар. Жумлалар алгебрасининг функциялари

Векторлар алгебраси