SlideShare a Scribd company logo
1 of 5
Алгебра логики ,[object Object],[object Object],[object Object]
  1. Операция, выражаемая словом “ не ”, называется  отрицанием . Высказывание  истинно, когда A ложно, и ложно, когда A истинно.  2.  Операция, выражаемая связкой “ и ”, называется  конъюнкцией   или логическим умножением  .   Высказывание А•В истинно тогда и только тогда, когда оба высказывания А и В истинны.  3 .  Операция, выражаемая связкой   “или” называется  дизъюнкцией  или логическим сложением .     Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны.  4.  Операция, выражаемая связками “если ..., то”, “из ... следует”, “... влечет ...”, называется  импликацией  Высказывание А® В ложно тогда и только тогда, когда А истинно, а В — ложно. Логические операции
Таблицы истинности Конъюнкция Дизъюнкция Отрицание Импликация  1 1 1 0 0 1 0 1 0 0 0 0 А ^ В В А 1 1 1 1 0 1 1 1 0 0 0 0 А v В В А 0 1 1 0 А 1 1 1 0 0 1 1 1 0 1 0 0 А   В В А
Законы алгебры логики Закон поглощения 11 10 9 8 7 6 5 4 3 2 1 A∙(A+B)=A A&(A v B)=A Преобразование импликации A->B=Ā+B A->B=Ā v   B Закон Моргана _____   _ ( A->B)=A∙B ______   _ ( A->B)=A&   B Операция с отрицанием А + Ā =  1 А v Ā =  1 Закон поглощения А ∙ A =  A А + A =  A А & A =  A А v A =  A Операции с константами А∙  1 =  A А + 1 =  1 А&  1 =  A А v 1 =  1 Операции с константами А∙  0 =0 A +0 =A А&  0 = 0 Av 0 =A Закон двойного отрицания Ā=A Закон исключающего   третьего (A+  Ā = 1) A   v Ā=l Закон непротиворечия (А ∙  Ā = 0) A&Ā=0 Закон тождества (А≡А) А≡ А
Рекомендуемая литература по теме 1 . http :// ru . wikipedia . org / wiki /%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B8   2.  http :// konspektiruem . ru / articles / logic / Osnovnye _ zakony _ algebry _ logiki /

More Related Content

What's hot

основные логические операции
основные логические операцииосновные логические операции
основные логические операцииdasha2012
 
Основные правила получения тавтологий. Равносильные формулы
Основные правила получения тавтологий. Равносильные формулыОсновные правила получения тавтологий. Равносильные формулы
Основные правила получения тавтологий. Равносильные формулыИльдус Ситдиков
 
Алгебра логики
Алгебра логикиАлгебра логики
Алгебра логикиaleksashka3
 
3 логические операции
3 логические операции3 логические операции
3 логические операцииzarechneva
 
логика
логикалогика
логикаfinatalya
 
логика
логикалогика
логикаfinatalya
 
Элементы алгебры логики
Элементы алгебры логикиЭлементы алгебры логики
Элементы алгебры логикиslbazhenova
 
Таблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияТаблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияaleksashka3
 
основы логики
основы логикиосновы логики
основы логикиRushitech
 
Основы математической логики
Основы математической логикиОсновы математической логики
Основы математической логикиEvgeny Smirnov
 
016
016016
016JIuc
 
Презентация
ПрезентацияПрезентация
Презентацияjulcompaneecz
 
21
2121
21JIuc
 
017
017017
017JIuc
 

What's hot (16)

основные логические операции
основные логические операцииосновные логические операции
основные логические операции
 
Основные правила получения тавтологий. Равносильные формулы
Основные правила получения тавтологий. Равносильные формулыОсновные правила получения тавтологий. Равносильные формулы
Основные правила получения тавтологий. Равносильные формулы
 
Алгебра логики
Алгебра логикиАлгебра логики
Алгебра логики
 
3 логические операции
3 логические операции3 логические операции
3 логические операции
 
логика
логикалогика
логика
 
логика
логикалогика
логика
 
Logika
LogikaLogika
Logika
 
Элементы алгебры логики
Элементы алгебры логикиЭлементы алгебры логики
Элементы алгебры логики
 
Таблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияТаблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказывания
 
основы логики
основы логикиосновы логики
основы логики
 
Основы математической логики
Основы математической логикиОсновы математической логики
Основы математической логики
 
016
016016
016
 
Презентация
ПрезентацияПрезентация
Презентация
 
Введение в мат.логику
Введение в мат.логикуВведение в мат.логику
Введение в мат.логику
 
21
2121
21
 
017
017017
017
 

Similar to алгебра логики

Similar to алгебра логики (8)

Логические выражения
Логические выраженияЛогические выражения
Логические выражения
 
логика к.поляков
логика к.поляковлогика к.поляков
логика к.поляков
 
Presentation informatics
Presentation informaticsPresentation informatics
Presentation informatics
 
Основы логики
Основы логикиОсновы логики
Основы логики
 
Элементы алгебры логики
Элементы алгебры логикиЭлементы алгебры логики
Элементы алгебры логики
 
19
1919
19
 
Prec
PrecPrec
Prec
 
B41a47597b86e3d90866dc2532f73c65
B41a47597b86e3d90866dc2532f73c65B41a47597b86e3d90866dc2532f73c65
B41a47597b86e3d90866dc2532f73c65
 

алгебра логики

  • 1.
  • 2.   1. Операция, выражаемая словом “ не ”, называется  отрицанием . Высказывание  истинно, когда A ложно, и ложно, когда A истинно. 2.  Операция, выражаемая связкой “ и ”, называется  конъюнкцией   или логическим умножением . Высказывание А•В истинно тогда и только тогда, когда оба высказывания А и В истинны. 3 .  Операция, выражаемая связкой “или” называется  дизъюнкцией  или логическим сложением .     Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны. 4.  Операция, выражаемая связками “если ..., то”, “из ... следует”, “... влечет ...”, называется  импликацией  Высказывание А® В ложно тогда и только тогда, когда А истинно, а В — ложно. Логические операции
  • 3. Таблицы истинности Конъюнкция Дизъюнкция Отрицание Импликация  1 1 1 0 0 1 0 1 0 0 0 0 А ^ В В А 1 1 1 1 0 1 1 1 0 0 0 0 А v В В А 0 1 1 0 А 1 1 1 0 0 1 1 1 0 1 0 0 А В В А
  • 4. Законы алгебры логики Закон поглощения 11 10 9 8 7 6 5 4 3 2 1 A∙(A+B)=A A&(A v B)=A Преобразование импликации A->B=Ā+B A->B=Ā v B Закон Моргана _____ _ ( A->B)=A∙B ______ _ ( A->B)=A& B Операция с отрицанием А + Ā = 1 А v Ā = 1 Закон поглощения А ∙ A = A А + A = A А & A = A А v A = A Операции с константами А∙ 1 = A А + 1 = 1 А& 1 = A А v 1 = 1 Операции с константами А∙ 0 =0 A +0 =A А& 0 = 0 Av 0 =A Закон двойного отрицания Ā=A Закон исключающего третьего (A+ Ā = 1) A v Ā=l Закон непротиворечия (А ∙ Ā = 0) A&Ā=0 Закон тождества (А≡А) А≡ А
  • 5. Рекомендуемая литература по теме 1 . http :// ru . wikipedia . org / wiki /%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B8 2. http :// konspektiruem . ru / articles / logic / Osnovnye _ zakony _ algebry _ logiki /