Математикалық логика. Буль алгебрасы


«Астана Медициналық Университеті»АҚ

Медбиофизика курсы мен математика, информатика

Тақырыбы: Буль алгебрасы

Орындаған:

Қабылдаған:

Астана 2012

Мазмұны

1. Математикалық логика . . . 4

2. Математикалық логиканың негізгі функциялары және

Логикалық функцияларының кестесінің мәндері . . . 5

3. Буль функцияларының жалған және елеулі айнымалылары . . . 8

4. Қорытынды . . . 9

5. Пйдаланылған әдебиет . . . 10

Кіріспе

Буль алгебрасы - ішінара реттелген жиынның арнаулы түрі. Жалпы алғанда буль функцияларының жалған және елеулі айнымалыларының дискреттік математикада ойнайтын рөлі өте зор. Бірінші оларды теориялық тұрғыдан қарастырайық. Буль функцияларының жалған және елеулі айнымалылары деп атайды.

Бұл айнымалылардың маңызы өте зор. Мысалы, функция көп айнымалы болса, кейбір айнымалыларын (жалған айнымалыларды) алып тастауға болады. Ол бізге барлық параметрлер бойынша үнемдеуге мүмкіндік береді. Сондықтан осы үнемдеуді жүзеге асыратын программдық пакет құру актуалды мәселе. Бұл жұмыста қойылған мақсат бойынша бірінші теориялық, одан кейін программалық жүзеге асыру жүргізілді. . Буль алгебрасы ағылшын математигі Дж. Бульдің (1815 - 1864) еңбектерінде (1847, 1854) символикалық логиканың аппараты ретінде пайда болды. Кейіннен ол математиканың әр түрлі саласында (ықтималдық теориясы, топология, функционалдық талдау, т. б. ) кеңінен қолданылды.

1. Математикалық логика

Айталық U-{u 1 , и 2 , . . . , и m , . . . } - айнымалылардың бастапқы алфавиті болсын. Аргументтері E 2 ={О, 1} жиынында анықталған және а i ∈Е 2 (і = 1, 2, . . . , n) , егер а i ∈Е 2 (і = 1, 2, . . . , п) шартын қанағаттандыратын ƒ(u , u , …, u ) функциялары қарастырылады.

Бұл функциялар логика алгебрасыныц функциялары немесе буль фунщиялары деп аталады. Р 2 арқылы U алфавитінде берілген, сондай-ақ 0 және 1 тұрақтыларын қамтитын барлық логика алгебрасының функциялар жүйесін белгілейміз.

Теорема . х 1 , х 2 , . . . , х n п айнымалыға тәуелді Р 2 жиынындағы барлық

функциялар саны P 2 (n) - 2 2 Equation. 3 - ге тең.

Математикалық логика функцияларының мысалдары:

  1. ƒ1(x) =0 -тұрақты 0
  2. ƒ2(x) =1-тұрақты 1;
  3. ƒ3(x) =x -тепе-тең функция;
  4. ƒ4(x) =- х -ті жоққа шығару;
  5. ƒ5(x1, x2) = (x1&x2) - x1мен x2-нің конъюнкциясы (логикалық көбейту) ;
  6. ƒ6(x1, x2) = (x1∨x2) - x1мен x2-нің дизъюнкциясы (логикальщ қосу) ;
  7. ƒ6(x1, x2) =Бұл функциялардың мәні.
xx: x x
0 0: 0 0
11: 11
xx: xx
:
xx: 00
0 0: 00
11: 11
xx: 00
: 11
xx: 11
0 0: 00
11: 11
xx: 11
: 00
x1x2: x 1 x 2
(х1&х2): 1 2 )
(x1∨x2): (x 1 ∨x 2 )
(х1→х2): 1 →х 2 )
(x1⊕x2): (x 1 ⊕x 2 )
(x1\x2): (x 1 \x 2 )
(x1~x2): (x 1 ~x 2 )
(х1↓x2): 1 ↓x 2 )
x1x2:

0 0

0 1

(х1&х2):

0

0

(x1∨x2):

0

1

(х1→х2):

1

1

(x1⊕x2):

0

1

(x1\x2):

1

1

(x1~x2):

1

0

(х1↓x2):

1

0

x1x2: 0 1
(х1&х2): 0
(x1∨x2): 1
(х1→х2): 0
(x1⊕x2): 1
(x1\x2): 1
(x1~x2): 0
(х1↓x2): 0
x1x2: 1 1
(х1&х2): 1
(x1∨x2): 1
(х1→х2): 1
(x1⊕x2): 0
(x1\x2): 0
(x1~x2): 1
(х1↓x2): 0

2. Математикалық логиканың негізгі функциялары және

Логикалық функцияларының кестесінің мәндері.

1) ДИЗЪЮНКЦИЯ (Disjunction) -

1) тек екі аргументінің мәні бір мезгілде «жалған» болған кезде ғана мәні «жалған болатын екі айнымалының бүл функциясы. Логикалық «қосу» операциясьша барабар;

2) «немесе»

Кемел дизъюнктивті нормаль қалып

х =хσ∨хσ белгілеуін енгізейік, мұндағы σ - нөлге немесе бірге тең параметр.

x σ =

х σ = 1 тек сол жағдайда, егер х = σ болса екендігіне оңай көз жеткізуге болады.

Теорема (Буль функцияларын айнымалыларға жіктеу туралы) . Әрбір ƒ(х 1 , . . . , x n ) логика алгебрасының функциясын кез-келген т(1 т п) үшін келесі түрде беруге болады :

ƒ (х 1 , . . . , x m , x m+1 , …, x n ) = x 1 σ 1 &…& x m σ m ƒ(σ 1 , …, σ m , x m+1 , …, x n ),

(*)

мұнда дизъюнкция х 1 , . . . , х m айньмалыларының барлық мүмкін болатын мәндері бойынша алынады.

Бұл көрініс функцияның х 1 , . . . , х m айнымалылары бойынша жіктелінуі деп аталады.

Салдар ретінде жіктеудің арнайы екі түрін аламыз.

Айнымалы бойынша жіктелу:

ƒ (х 1 , . . . , х n-1 , х n ) = х n & ƒ (x 1 , …, x n-1 , 1) v & ƒ(x 1 , …, x n-1 , 0) .

ƒ (х 1 , . ., х n-1 , 0) және ƒ(х 1 , . . . , x n-1 , 1) функциялары жіктеудің құрамдас бөліктері деп аталады.

  1. Барлық айньмалылар бойынша жіктеу:

ƒ (х 1 , . . . , x n ) = x 1 σ 1 &…& x n σ n ƒ(σ 1 , …, σ n ) .

ƒ (х 1 , . . . , x n ) ≡0 орындалғанда жіктеу келесі түрге айналады

x 1 σ 1 &…& x n σ n ƒ(σ 1 , …, σ n ) = x 1 σ 1 &…& x n σ n

Нәтижесінде

ƒ (х 1 , . . . , x n ) = x 1 σ 1 &…& x n σ n

(**)

екендігін аламыз.

Мұндай жіктелу кемел дизъюнктивті нормалъ қалып деп аталады (кемел д. н. ф. ) .

2) КОНЪЮНКЦИЯ (лат. conjunctіo - одақ, байланыс) - логикалық байланымдар, екі пікірдің бірігуінен логикалық “және” жалғауы арқылы пікір құратын логикалық операция (символдық жазылуы: ALB) . Осылай құрылған күрделі пікір оған енетін барлық пікірлер ақиқат болғанда және тек сол жағдайда ақиқат, ал қалған жағдайлардың бәрінде жалған болады.

3) ИНВЕРСИЯ - цифрлық сигналдар үшін логикалық терістеу амалын (“емес”) орындайтын электрондық элемент. Сонымен қатар инвертор мәлімет өңдейтін және тасымалдайтын компьютер құрылғыларында электр сигналдарын қалыптастырып күшейтеді. Әдетте, интегралдық сұлбалар құрамында болып, транзисторлық элементтерден тұрады. Потенциалдық және импульстік инверторлар болып ажыратылады. Потенциалдық инверторде кірісіндегі кернеудің жоғары деңгейі шығысында төменгі деңгейге түрленеді және керісінше. Оның кіріс сигналы мен шығыс сигналының арасындағы байланыс логикалық “емес” функциясына сәйкес келеді. Импульстік инверторде кірісіне сигнал келген сәтте оның шығысында полярлығы кірісіндегіге қарама-қарсы сигнал қалыптасады. Инвертор компьютерлердің логикалық элементтерінің негізгілерінің бірі болып табылады. Интегралдық сұлбаларда инвертор өзіндік тәуелсіз міндет атқармай, күрделі логикалық сұлбалардың құрамына кіретін қарапайым элемент қызметін атқарады.

Ұғыну үшін:

Математикалық логиканың функциялары:

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.
Ұқсас жұмыстар
Логикалық элементтер ұғымы
Логиканың негізгі заңдары
Бульев алгебрасы
Логикалық ойлау қабілеті
Тұжырымдар алгебрасы
Санау жүйелері. Буль алгебрасы
Логикалық функцияларды ЭЕМ-де іске асыру, логикалық элементтер ЭЕМ-де сандарды көрсету әдістері
Тұжырымдар алгебрасы. Тұжырымдар есептелімі
Дискретті математиканың негізі
Санау жүйелері тақырыбын оқыту әдістемесі
Пәндер



Реферат Курстық жұмыс Диплом Материал Диссертация Практика Презентация Сабақ жоспары Мақал-мәтелдер 1‑10 бет 11‑20 бет 21‑30 бет 31‑60 бет 61+ бет Негізгі Бет саны Қосымша Іздеу Ештеңе табылмады :( Соңғы қаралған жұмыстар Қаралған жұмыстар табылмады Тапсырыс Антиплагиат Қаралған жұмыстар kz