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



Дата06.02.2022
өлшемі310 Kb.
#79627
  • Тақырыбы: Бульдік алгебра
  • Орындағандар: 123 ЖМФ студенттері
  • Смагулов Қайыржан
  • Максутбек Арнат

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

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

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

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

конъюнкция «» (және)

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

Конъюнкция

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

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

Дизъюнкция

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

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

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

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

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

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

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

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

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

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

  • 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
  • Жұтыну заңы

Қорытынды

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


Достарыңызбен бөлісу:




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет