Буль алгебраһы

: *Эта статья об [[Алгебраическая система|алгебраической системе]]. О разделе математической логики, изучающем высказывания и операции над ними, см. [[Алгебра логики]].*
**Буль алгебраһы** тип  ике бинар операцияһы \land (конъюнкция аналогы), \lor (дизъюнкция аналогы), бер унар операцияһы \lnot (инҡар итеү аналогы) һәм ике айырылып торған элементтары: 0 (йәки Ялған) һәм 1 (йәки дөрөҫлөк) булған буш булмаған *A* күмәклеге атала, бында *A* күмәклегенең теләһә ниндәй *a*, *b* һәм *c*  элементтары өсөн түбәндәге аксиомалар дөрөҫ:

 

Тәүге өс аксиома (*A*, \land, \lor) рәшәткә булыуын аңлата. Шулай итеп, Буль алгебраһына, һуңғы ике аксиома үтәлгән дистрибутив рәшәткә тигән билдәләмә бирергә мөмкин. Һуңғыһынан алдағы аксиоманан башҡа бөтә аксиомалар үтәлгән структура псевдобуль алгебра тип атала.
Джордж Буль хөрмәтенә аталған.

## Ҡайһы бер үҙсәнлектәре
Аксиомаларҙан күренеүенсә, иң бәләкәй элемент булып 0 тора, иң ҙур элемент 1, ә теләһә ниндәй *a* элементының өҫтәмәһе  ¬*a* бер мәғәнәле билдәләнә. *A* күмәклегенән бөтә *a* һәм *b* өсөн түбәндәге тигеҙлектәр дөрөҫ:

## Төп тождестволар
Был бүлектә юғарыла тасуирланған үҙсәнлектәр һәм аксиомалар, тағы ла бер нисәү өҫтәлеп, ҡабатлана.

Юғарыла тасуирланған үҙсәнлектәр һәм аксиомаларҙың йыйылма таблицаһы:

## Миҫалдары
* Иң ябай тривиаль булмаған Буль алгебраһы бөтәһе ике элементтан тора, 0 һәм 1, ә унда ғәмәлдәр түбәндәге таблица менән бирелә:

: Был Буль алгебраһы йышыраҡ логикала ҡулланыла, сөнки ул классик фекер иҫәпләмәһенең теүәл моделы булып тора. Был осраҡта 0 *Ялған*, 1 — *дөрөҫлөк* тип атала. Буль операциялары һәм үҙгәреүсәндәр ингән аңлатмаларҙың  фекер формалары булалар.
* Был күмәклектең бөтә аҫкүмәклектәре күмәклеге *S* ∨ := ∪ (берекмә), ∧ := ∩ (киҫелеш) һәм өҫтәлмәлек унар операцияларына ҡарата Буль алгебраһын төҙөй. Бында иң бәләкәй элемент — буш күмәклек, ә иң ҙуры — бөтә *S*.
* Бирелгән m квадраттарҙан азат натураль һанының U бөтә натураль бүлеүселәре күмәклеген ҡарайыҡ. U күмәклегендә ике бинар операция бирәйек: иң ҙур уртаҡ бүлеүсене табыу (конъюнкция аналогы) һәм иң бәләкәй уртаҡ бүленеүсене табыу (дизъюнкция аналогы); d бүлеүсеһенә m/d бүлеүсеһен ярашлы ҡуйыусы бер урынлы операция инҡар итеү ролен уйнай. Килеп сыҡҡан структура Буль алгебраһы була; унда Буль нуленең һәм берәмегенең аналогтары булып ярашлы рәүештә 1 һәм m һандары тора. Юғарыла килтерелгән Буль алгебраһының дөйөм аксиомаларын һәм үҙсәнлектәрен U күмәклеге өсөн ҡулланыу күп кенә файҙалы һәм бик үк күренеп тормаған теоретик-һанлы тождестволар бирә.
* Ниндәй ҙә булһа фекер иҫәпләмәһенең Линденбаум — Тарский алгебраһы (был иҫәпләмәлә ярашлы операциялар менән тиң көслөлөккә ҡарата бөтә раҫлауҙарҙың факторкүмәклеге) Буль алгебраһы була. Был осраҡта иҫәпләмәләр формулаларының дөрөҫлөк баһаһы булып Линденбаум — Тарский алгебраһының ике элементлы Буль алгебраһына гомоморфизмы тора.
* Әгәр *R* — ирекле ҡулса булһа, ул саҡта унда *үҙәк идемпотенттар* күмәклеген ошолай билдәләргә мөмкин:  *A* = { *e* ∈ *R* : *e*² = *e*, *ex* = *xe*, ∀*x* ∈ *R* },  ул саҡта *A* күмәклеге *e* ∨ *f* := *e* + *f* − *ef* һәм *e* ∧ *f* := *ef* операциялары менән Буль алгебраһы була.

## Ҡапма-ҡаршылыҡ ҡағиҙәһе
Буль алгебраларында ҡапма-ҡаршылыҡлы раҫлауҙар бар, улар йә бер үк ваҡытта дөрөҫ, йәки бер үк ваҡытта дөрөҫ түгел. Атап әйткәндә, әгәр ниндәйҙер Буль алгебраһында дөрөҫ булған формулала, бөтә конъюнкцияларҙы дизъюнкцияларға, 0-де 1-гә, ≤ -ҙе >-ға һәм киреһенсә йәки <-ҙе ≥ -гә һәм киреһенсә алмаштырғанда, шулай уҡ был Буль алгебраһында дөрөҫ булған формула килеп сыға. Был аксиомаларҙың бындай алмаштырыуҙарға ҡарата  симметриялығынан килеп сыға.

## Буль алгебраларының вәкилдәре
Теләһә ниндәй сикле Буль алгебра ниндәйҙер күмәклектең бөтә аҫкүмәклектәре Буль алгебраһына изоморфлы икәнен иҫбат итергә мөмкин. Ошонан, теләһә ниндәй сикле Буль алгебрала элементтар һаны икенең дәрәжәһе булыуы килеп сыға. 

Стоун теоремаһы, теләһә ниндәй сикле Буль алгебра ниндәйҙер компактлы тулыһынса бәйле булмаған Хаусдорф топологик арауығының бөтә асыҡ-йомоҡ күмәклектәренең Буль алгебраһына изоморфлы.

## Аксиомалаштырыу
1933 йылда америка математигы  Буль алгебралары өсөн түбәндәге аксиомалаштырыуҙы тәҡдим итә:
# *Коммутативлыҡ аксиомаһы*: *x* + *y* = *y* + *x*.
# *Ассоциативлыҡ аксиомаһы*: (*x* + *y*) + *z* = *x* + (*y* + *z*).
# *Хантингтон тигеҙләмәһе*: *n*(*n*(*x*) + *y*) + *n*(*n*(*x*) + *n*(*y*)) = *x*.
Бында Хантингтондың тамғалауҙары ҡулланылған: + дизъюнкцияны аңлата, n — инҡар итеүҙе.

Герберт Роббинс шундай һорау ҡуя: түбәндәгесә яҙылған һуңғы аксиоманы ҡыҫҡартып буламы, йәғни түбәндә яҙылған аксиомалар менән билдәләнгән структура Буль алгебраһы буламы?

Роббинс алгебраһын аксиомалаштырыу:
# *Коммутативлыҡ аксиомаһы*: *x* + *y* = *y* + *x*.
# *Ассоциативлыҡ аксиомаһы*: (*x* + *y*) + *z* = *x* + (*y* + *z*).
# *Роббинс тигеҙләмәһе*: *n*(*n*(*x* + *y*) + *n*(*x* + *n*(*y*))) = *x*.
Был һорау 1930-сы йылдарҙан алып асыҡ ҡала һәм Тарскийҙың һәм уның уҡыусыларының яратҡан һорауы була.

1996 йылда Вильям МакКьюн, уға тиклем алынған ҡайһы бер һөҙөмтәләрҙе ҡулланып, был һорауға ыңғай яуап бирә. Шулай итеп, теләһә ниндәй Роббинс алгебраһы Буль алгебраһы була.

## Шулай уҡ ҡарағыҙ
* Логика алгебраһы
* Буль функцияһы
* Битовые операции

## Иҫкәрмәләр

## Әҙәбиәт
* 
* 
* 
*