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

Содержание

Слайд 2

Жоспар Бульдік алгебра Буль алгебрасының негізгі операциялары Дизъюнкция Конъюнкция Теріске шығару

Жоспар

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

Слайд 3

Бульдік алгебра Буль алгебрасы – бұл математикадағы логикалық есептеулерге негізделген бинарлық

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

Буль алгебрасы – бұл математикадағы логикалық есептеулерге негізделген бинарлық операциялар,

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

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

конъюнкция «∧» (және)
дизъюнкция «∨» (немесе)
Теріске шығару «¬» (жоқ)

Буль алгебрасының негізгі операциялары:

Слайд 5

Конъюнкция Конъюнкция (латын тілінен байланыс) – логикалық операция, “Және” шылауымен мағыналас,

Конъюнкция

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

білдіреді.
Негізгі мағынасы: барлық жағдайда 1 “рас” белгісі шықса, 1 сигналы пайда болады, ал басқаша болса , 0 “жалған” сигналы шығады.
Слайд 6

Бинарлық конъюнкция

Бинарлық конъюнкция

Слайд 7

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

Дизъюнкция

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

мағынасы: барлық жағдайда 0 болса, “жалған” белгісі пайда болады, қалған жағдайларда 1 “рас” сигналы шығады.
Слайд 8

Бинарлық дизъюнкция

Бинарлық дизъюнкция

Слайд 9

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

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

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

0 “жалған” элементін 1 “рас” элементіне айналдырады.
Слайд 10

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

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

Слайд 11

ШЕФФЕР ФУНКЦИЯСЫ Шеффер функциясы – теріске шығарып көбейтуді орындайды. Бұл бірнеше

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


Шеффер функциясы – теріске шығарып көбейтуді орындайды. Бұл бірнеше

айнымалының функциясы. Екі айнымалы үшін ақиқаттық кестенің түрі болады:
Слайд 12

ПИРС ФУНКЦИЯСЫ Пирс функциясы теріске шығарып қосуды орындайды. Екі айнымалы үшін ақиқаттық кестесі былай анықталады:

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

Пирс функциясы теріске шығарып қосуды орындайды. Екі айнымалы үшін ақиқаттық

кестесі былай анықталады:
Слайд 13

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

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