Конъюнкция
Бинарлыќ конъюнкция
Дизъюнкция
Бинарлыќ дизъюнкция
Теріске шыѓару
Теріске шыѓару
ШЕФФЕР ФУНКЦИЯСЫ
ПИРС ФУНКЦИЯСЫ
Логика алгебрасыныњ негізгі зањдары
Ќорытынды
310.00K
Category: mathematicsmathematics

Бульдік алгебра

1.

Тақырыбы: Бульдік алгебра
Орындағандар: 123 ЖМФ студенттері
Смагулов Қайыржан
Максутбек Арнат

2.

Бульдік алгебра
Буль алгебрасының негізгі операциялары
Дизъюнкция
Конъюнкция
Теріске шығару (отрицание)
Шеффер функциясы
Пирс функциясы
Қорытынды

3.

Буль алгебрасы – бұл математикадағы
логикалық
есептеулерге
негізделген
бинарлық операциялар, негізгі есептеу
операциялары: конъюнкция (« ») мен
дизъюнкциядан (« »), унарлық операция
теріске шығарудан («¬») болып табылады.
Есептеу кезінде 1 - “Рас”, 0 - “Жалған”
элементтерінен
тұратын
бос
емес
көпмүше.

4.

Буль алгебрасының негізгі
операциялары:
конъюнкция « » (және)
дизъюнкция « » (немесе)
Теріске шығару «¬» (жоқ)

5. Конъюнкция

Конъюнкция (латын тілінен байланыс) –
логикалық операция, “Және” шылауымен
мағыналас, көбейтуді білдіреді.
Негізгі мағынасы: барлық жағдайда 1 “рас”
белгісі шықса, 1 сигналы пайда болады, ал
басқаша болса , 0 “жалған” сигналы
шығады.

6. Бинарлыќ конъюнкция

Бинарлық конъюнкция
a
0
1
0
1
b
0
0
0
1
a^b
0
0
0
1

7. Дизъюнкция

Дизъюнкция – логикалық операция,
“Немесе” шылауына жақын мәндес,
қосуды білдіретін аргумент.
Негізгі мағынасы: барлық жағдайда 0
болса, “жалған” белгісі пайда болады,
қалған жағдайларда 1 “рас” сигналы
шығады.

8. Бинарлыќ дизъюнкция

Бинарлық дизъюнкция
a
0
1
0
1
b
0
0
1
1
a b
0
1
1
1

9. Теріске шыѓару

Теріске шығару
Теріске шығару – логикалық
унарлы
операция.
“Жоқ”
элементін білдіреді.
Негізгі мағынасы: 0 “жалған”
элементін 1 “рас” элементіне
айналдырады.

10. Теріске шыѓару

Теріске шығару
Р
Ж
Ж
Р

11. ШЕФФЕР ФУНКЦИЯСЫ

Шеффер функциясы – теріске шығарып
көбейтуді орындайды. Бұл бірнеше айнымалының
функциясы. Екі айнымалы үшін ақиқаттық кестенің
түрі болады:
x1
x2
f(x1x2)
0
0
1
0
1
1
1
0
1
1
1
0

12. ПИРС ФУНКЦИЯСЫ

Пирс функциясы теріске шығарып
қосуды орындайды. Екі айнымалы үшін
ақиқаттық кестесі былай анықталады:
x1
x2
f(x1x2)
0
0
1
0
1
0
1
0
0
1
1
0

13. Логика алгебрасыныњ негізгі зањдары

Логика алгебрасының негізгі
заңдары
X1 V X2 = X2 V X1
X1 Λ X2 = X2 Λ X1
Орнын ауыстыру заңы.
Коммутативтік (лат. –
айырбастау, қайта
айырбастау)
X1 V (X2 V X3) = (X1 V X2)
V X3
X1 Λ (X2 Λ X3) = (X1 Λ X2)
Λ X3
Үйлестіру заңы.
Ассоциативтік (лат. –
біріктіру)
X1 Λ (X2 V X3) = (X1 Λ X2)
V (X1 Λ X3)
X1 V (X2 Λ X3) = (X1 Λ X3)
Λ (X1 V X3)
Тарату заңы.
Дистрибутивтік
X1 V (X1 Λ X2) = X1
X1 Λ (X1 V X2) = X1
Жұтыну заңы

14. Ќорытынды

Қорытынды
Буль алгебрасы – қазіргі заманғы есептеу
техникасының негізі болып табылады. Буль
алгебрасының
негізгі
операциялары:
конъюнкция, дизъюнкция және теріске
шығару. Олар “Рас”(1) және “Жалған”(0)
интерпретаторымен анықталады.
English     Русский Rules