Алгебра логики
<<  Элементы алгебры логики Тема: Основные понятия алгебры логики  >>
Основы алгебры логики
Основы алгебры логики
Основы алгебры логики
Основы алгебры логики
Формы мышления и история развития алгебры логики
Формы мышления и история развития алгебры логики
Формы мышления и история развития алгебры логики
Формы мышления и история развития алгебры логики
Логика – это наука о формах и способах мышления, рассуждений и
Логика – это наука о формах и способах мышления, рассуждений и
Примеры высказываний
Примеры высказываний
Примеры умозаключений
Примеры умозаключений
Логические выражения
Логические выражения
Логические операции
Логические операции
Инверсия - логическое отрицание
Инверсия - логическое отрицание
Конъюнкция - логическое умножение
Конъюнкция - логическое умножение
Дизъюнкция - логическое сложение
Дизъюнкция - логическое сложение
Импликация - логическое следование
Импликация - логическое следование
Эквивалентность - логическое равенство
Эквивалентность - логическое равенство
Упражнения по записи высказываний в виде логических выражений
Упражнения по записи высказываний в виде логических выражений
Упражнения по записи высказываний в виде логических выражений
Упражнения по записи высказываний в виде логических выражений
Упражнения c логическими выражениями
Упражнения c логическими выражениями
Законы алгебры логики
Законы алгебры логики
Алгоритм
Алгоритм
Решение логических задач с помощью алгебры логики
Решение логических задач с помощью алгебры логики
Решение содержательных задач табличным способом
Решение содержательных задач табличным способом
Решение содержательных задач с помощью рассуждений
Решение содержательных задач с помощью рассуждений
Таблицы истинности
Таблицы истинности
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Логические основы компьютера
Контрольная работа по теме «Основы алгебры логики и логические основы
Контрольная работа по теме «Основы алгебры логики и логические основы

Презентация на тему: «Основы алгебры логики». Автор: Андрей Стрельников. Файл: «Основы алгебры логики.ppt». Размер zip-архива: 746 КБ.

Основы алгебры логики

содержание презентации «Основы алгебры логики.ppt»
СлайдТекст
1 Основы алгебры логики
2 Основы алгебры логики

Основы алгебры логики

Логические основы компьютера

Формы мышления

Базовые логические элементы

Логические выражения

Построение логических схем

Логические операции

Одноразрядный сумматор

Законы алгебры логики

Триггер

Таблицы истинности

Регистры

Логические задачи

Контрольная работа

3 Формы мышления и история развития алгебры логики

Формы мышления и история развития алгебры логики

Алгебра логики – наука об операциях, аналогичных математическим, над высказываниями или над объектами, которые могут принимать только два значения – «ИСТИНА» или «ЛОЖЬ».

История логики насчитывает около двух с половиной тысячелетий. Первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель (384-322 гг. до н.э.) – древнегреческий философ, который впервые отделил логические формы мышления от его содержания.

В 1842 году английский математик Джорж Буль разработал математическую логику или алгебру логики, которую впоследствии стали называть «булевой алгеброй». Спустя 100 лет алгебра логики стала основой теории цифровых вычислительных машин, ее используют в компьютерной логике, электронике, в основе всех микропроцессорных операций.

4 Формы мышления и история развития алгебры логики

Формы мышления и история развития алгебры логики

Многие философы и математики развивали отдельные положения логики и иногда даже намечали контуры современного исчисления высказываний, но ближе всех к созданию математической логики подошел уже во второй половине XVII века выдающийся немецкий ученый Готфрид Вильгельм Лейбниц (1646— 1716), указавший пути для перевода логики “из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются совершенно точно”. Лейбниц надеялся даже, что в будущем философы, вместо того чтобы бесплодно спорить, станут брать бумагу и вычислять, кто из них прав. При этом в своих работах Лейбниц затрагивал и двоичную систему счисления.

Уже в XIX веке стало понятно, что система Буля хорошо подходит для описания электрических переключательных схем. Ток в цепи может либо протекать, либо отсутствовать, подобно тому, как утверждение может быть либо истинным, либо ложным. А еще несколько десятилетий спустя, уже в XX столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера.

5 Логика – это наука о формах и способах мышления, рассуждений и

Логика – это наука о формах и способах мышления, рассуждений и

доказательств.

Мышление осуществляется через понятия, высказывания и умозаключения.

Понятие – это форма мышления, выделяющая существенные и отличительные признаки объекта.

Высказывание – это формулировка в форме утверждения или отрицания об объекте и его свойствах. Высказывание может быть истинным или ложным.

Умозаключение – это форма мышления, с помощью которой из одного или нескольких простых высказываний (суждений) может быть получено новое составное высказывание (суждение).

6 Примеры высказываний

Примеры высказываний

Истинное высказывание: «Буква «А» - гласная». Ложное высказывание: «Компьютер был изобретен в середине XIX века».

Какие из предложений являются высказываниями? Какие из высказываний истинные?

1. Какой длины эта лента? 2. Прослушайте сообщение. 3. Делайте утреннюю зарядку! 4. Назовите устройства ввода информации. 5. Кто отсутствует? 6. Париж – столица Англии. 7. Число 11 является простым. 8. 4+5=10 9. Без труда не вытащишь и рыбку из пруда. 10. Сложите числа 2 и 5. 11. Некоторые медведи живут на Севере. 12. Все медведи – бурые. 13. Чему равно расстояние от Москвы до Ленинграда? 14. Сумма углов треугольника – 180 градусов.

7 Примеры умозаключений

Примеры умозаключений

Дано высказывание: «Все углы равнобедренного треугольника равны». Получите путем умозаключений из предыдущего другое высказывание: «Этот треугольник равносторонний».

Следовательно, А=В=С. Треугольник равносторонний.

Пусть основанием треугольника является сторона С

Тогда В=С

Тогда А=В

Так как в треугольнике все углы равны, следовательно, основанием может быть любая другая сторона, например, А.

8 Логические выражения

Логические выражения

А = «Миля больше километра» = ИСТИНА В = «Фут больше мили» = ЛОЖЬ

F(A,B) = A и В

Логические выражения «Неверно, что миля больше километра и фут больше мили» «Верно, что миля больше километра или фут больше мили» «Если число простое, то оно нечетное»

Логическая переменная – простое высказывание, которое можно обозначить буквой, и имеющее значение «ИСТИНА» или «ЛОЖЬ».

Логическая функция – составное высказывание, состоящее из логических переменных, связанных логическими операциями.

Сложные высказывания могут быть соединительные, разделительные, условные, эквивалентные, с внешним отрицанием.

Логические операции – логические действия над логическими переменными.

Значение

9 Логические операции

Логические операции

Не, ,

И , , and, &, *, ·

ИЛИ, , or, +

=,

Инверсия, логическое отрицание

Конъюнкция, логическое умножение

Дизъюнкция, логическое сложение

Импликация, логическое следование

Эквивалентность, логическое равенство

Таблица истинности определяет значение сложного высказывания при всех возможных значениях простых высказываний

Истина – 1 ложь - 0

Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую войдут логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.

10 Инверсия - логическое отрицание

Инверсия - логическое отрицание

0

1

1

0

A

F=а

Логическое отрицание делает истинное высказывание ложным и, наоборот, ложное – истинным.

От лат. inversio - переворачиваю

В переводе на естественный язык «Не А» «Неверно, что А»

Пример: Даны высказывания А – «Число 10 – четное» = ИСТИНА В – «Число 10 – отрицательное» = ЛОЖЬ С – «Луна – спутник Земли» = ИСТИНА Не А – «Неверно, что число 10 – четное» = ЛОЖЬ Не В – «Неверно, что число 10 – отрицательное» = ИСТИНА Не С – «Неверно, что Луна – спутник Земли» = ЛОЖЬ

Истина – 1 ложь - 0

Таблица истинности функции логического отрицания

11 Конъюнкция - логическое умножение

Конъюнкция - логическое умножение

A

B

F=A*B

0

0

0

0

1

0

1

0

0

1

1

1

И , , and, &, *, ·

Результат логического умножения является истинным тогда и только тогда, когда истинны все входящие в него простые высказывания.

От лат. conjunctio - связываю

В переводе на естественный язык «и А, и В» «как А, так и В» «А вместе с В» «А несмотря на В» «А, в то время как В»

Пример: Даны высказывания А – «Число 10 – четное» = ИСТИНА В – «Число 10 – отрицательное» = ЛОЖЬ С – «Число 10 кратно 2» = ИСТИНА А и В – «Число 10 – четное и отрицательное» - ЛОЖЬ А и С – «Число 10 как четное, так и кратно 2» - ИСТИНА

Таблица истинности функции логического умножения

12 Дизъюнкция - логическое сложение

Дизъюнкция - логическое сложение

A

B

F=A+B

0

0

0

0

1

1

1

0

1

1

1

1

ИЛИ, , or, +

Результат логического сложения является истинным тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

От лат. disjunctio – различаю

В переводе на естественный язык «А или В»

Пример: Даны высказывания А – «Число 10 – четное» = ИСТИНА В – «Число 10 – отрицательное» = ЛОЖЬ С – «Число 10 - простое» = ЛОЖЬ А или В – «Число 10 – четное или отрицательное» - ИСТИНА А или С – «Число 10 четное или простое» - ИСТИНА В или С – «Число 10 отрицательное или простое» - ЛОЖЬ

Таблица истинности функции логического сложения

13 Импликация - логическое следование

Импликация - логическое следование

A

B

F=A B

0

0

1

0

1

1

1

0

0

1

1

1

Результат логического следования является ложным тогда и только тогда, когда из истины следует ложь.

От лат. implicatio – тесно связывать

В переводе на естественный язык «если А, то В» «В, если А» «Когда А, тогда В» «А достаточно для В» «А только тогда, когда В»

Пример: Даны высказывания А – «Число 10 – четное» = ИСТИНА В – «Число 10 – отрицательное» = ЛОЖЬ С – «Число 10 - простое» = ЛОЖЬ А В – «Если число 10 – четное, то оно - отрицательное» - ЛОЖЬ А С – «Число 10 простое, если четное» - ЛОЖЬ «Если число делится на 10, то оно делится на 5» ИСТИНА

А – условие, В - следствие

Таблица истинности функции логического следования

14 Эквивалентность - логическое равенство

Эквивалентность - логическое равенство

A

B

F=A B

0

0

1

0

1

0

1

0

0

1

1

1

Результат логического равенства является истинным тогда и только тогда, когда оба высказывания одновременно либо истинны, либо ложны.

От лат. aeguivalens – равноценное

В переводе на естественный язык «А эквивалентно В» «А только тогда и только тогда, когда В»

Пример: Даны высказывания А – «Число 10 – четное» = ИСТИНА В – «Число 10 – отрицательное» = ЛОЖЬ С – «Число 10 - простое» = ЛОЖЬ А В – «Число 10 – четное, тогда и только тогда, когда оно - отрицательное» - ЛОЖЬ В С – «Число 10 такое же простое, как и отрицательное» ИСТИНА

=,

Таблица истинности функции логического равенства

15 Упражнения по записи высказываний в виде логических выражений

Упражнения по записи высказываний в виде логических выражений

1

«Летом Петя поедет в деревню и, если будет хорошая погода, то он будет рыбачить.»

В

А

С

F=A * (B C)

2

«Точка Х принадлежит интервалу [A;B]»

(X>=A) * (X<=B)

1. Действия в скобках 2. Инверсия 3. Конъюнкция 4. Дизъюнкция 5. Импликация 6. Эквивалентность

3

«Точка Х не принадлежит интервалу [A;B]»

(X>=A) * (X<=B)

(X<A) + (X>B)

4

«Неверно, что если дует ветер, то солнце светит только тогда, когда нет дождя.»

С

D – идет дождь

В

В (с d)

При составлении логического выражения необходимо учитывать порядок выполнения логических операций:

16 Упражнения по записи высказываний в виде логических выражений

Упражнения по записи высказываний в виде логических выражений

5

«Если урок будет интересным, то никто из школьников – Миша, Вика, Света – не будет смотреть в окно»

Урок будет интересным

У

М

Миша будет смотреть в окно

У м*в*с

В

Вика будет смотреть в окно

С

Света будет смотреть в окно

6

«Я пойду гулять тогда и только тогда, когда выучу все уроки.»

С

В

В с

17 Упражнения c логическими выражениями

Упражнения c логическими выражениями

7

По мишеням произведено три выстрела. Рассмотрено высказывание: Pk = «Мишень поражена к-тым выстрелом», где к=1, 2, 3. Что означают следующие высказывания: а) P1 + P2 + P3 б) P1 * P2 * P3 в)P1 * P2 * P3

8

Построить таблицу истинности для выражения F=(A+B)*(A+B)

А

В

А+в

А

В

А+в

F

0

0

0

1

1

1

0

0

1

1

1

0

1

1

1

0

1

0

1

1

1

1

1

1

0

0

0

0

9

Вычислить значение булевского выражения X1*X2+X3+X4, при X1=1, X2=0, X3=1, X4=0.

1*0 + 1 + 0 = 1*0 +0 +1 = 0 + 0 + 1= 1

18 Законы алгебры логики

Законы алгебры логики

Закон

Для «ИЛИ»

Для «И»

X + Y = Y + X

X*Y = Y*X

X+(Y+Z) = (X+Y)+Z

(X*Y)*Z=X*(Y*Z)

X*(Y+Z) = X*Y+X*Z

X+Y*Z = (X+Y)*(X+Z)

X+Y = X * Y

X*Y = X + Y

X + X = X

X * X = X

X+X*Y = X

X*(X+Y)= X

(X*Y)+(X*Y)=Y

(X+Y)*(X+Y)=Y

X+X=1

X*X=0

X+0=X; X+1=1

X*1=X; X*0=0

X=X

X=X

A B = A+B

A B =( A+B)*(B+A)

Переместительный

Сочетательный

Распределительный

Правила де Моргана

Идемпотенции

Поглощения

Склеивания

Операции переменной с ее инверсией

Операция с константами

Двойного отрицания

19 Алгоритм

Алгоритм

Решение содержательных задач с помощью алгебры логики

Внимательно изучить условие

Выделить простые высказывания и обозначить их буквами

Записать условие задачи на языке алгебры логики

Составить формулу, в которой объединить логическим умножением формулы каждого утверждения, приравнять произведение к 1

Упростить формулу согласно законам – минимизировать логическое выражение

Проанализировать результат или построить таблицу истинности результирующего выражения и найти по таблице значения переменных, для которых значение функции равно 1

20 Решение логических задач с помощью алгебры логики

Решение логических задач с помощью алгебры логики

1

«Синоптик объявляет прогноз погоды на завтра и утверждает следующее: 1. Если не будет ветра, то будет пасмурная погода без дождя. 2. Если будет дождь, то будет пасмурно и без ветра. 3. Если будет пасмурная погода, то будет дождь и не будет ветра». Так какая же погода будет завтра?

F1=A B*C

F2=C B*A

F3=B C*A

В

С

А

Ветра нет

Пасмурно

Дождь

F1*F2*F3= (A B*C)*(C B*A)*(B C*A)=

(A+B*C) * (C+B*A) * (B+C*A) =

A*C*B + B*B*C + B*B*C*A + A*C*C*A + B*C*A*C*A = A*C*B

0

0

0

0

Высказывание истинно (=1), если каждый множитель =1. Поэтому «погода будет ясная, без дождя, но ветреная»

21 Решение содержательных задач табличным способом

Решение содержательных задач табличным способом

2

Так как музыкантов трое, а инструментов 6 и каждый владеет только 2-мя, получается, что каждый играет только на тех инструментах, которыми другие не владеют. 0 - не играет на инструменте, 1 – играет на инструменте.

Ответ: Браун играет на альте и кларнете, Смит – на флейте и гобое, Вессон – на скрипке и трубе.

В оркестр приняли трех новых музыкантов: Брауна, Смита и Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе. Известно, что: 1) Смит – самый высокий; 2) играющий на скрипке меньше ростом играющего на флейте; 3) играющие на скрипке и флейте и Браун любят пиццу; 4) когда между альтистом и трубачом возникает ссора, Смит мирит их; 5) Браун не умеет играть ни на трубе, ни на гобое. На каких инструментах играет каждый из музыкантов, если каждый владеет двумя инструментами.

Скрипка

Флейта

Альт

Кларнет

Гобой

Труба

Браун

0

0

1

1

0

0

Смит

0

1

0

0

1

0

Вессон

1

0

0

0

0

1

22 Решение содержательных задач с помощью рассуждений

Решение содержательных задач с помощью рассуждений

3

Вадим, Сергей и Михаил изучают различные иностранные языки: китайский, японский и арабский. На вопрос, какой язык изучает каждый из них, один ответил: «Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский». Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый?

Решение. Если верно первое утверждение, то верно и второе, так как юноши изучают разные языки. Это противоречит условию задачи, поэтому первое утверждение ложно.

Если верно второе утверждение, то первое и третье должны быть ложны. При этом получается, что никто не изучает китайский. Это противоречит условию, поэтому второе утверждение тоже ложно.

Остается считать верным третье утверждение, а первое и второе – ложными. Следовательно, Вадим не изучает китайский, китайский изучает Сергей.

Ответ: Сергей изучает китайский язык, Михаил – японский, Вадим – арабский.

23 Таблицы истинности

Таблицы истинности

Докажите эквивалентность булевских выражений А В= А + В

1

А

В

А в

А+в

1

1

1

1

0

1

1

1

1

0

0

0

0

0

1

1

Восстановите булевское выражение по таблице истинности

2

Х1

Х2

Х3

F-?

Х1*х2*х3=f1

0

0

0

0

Х1*х2*х3=f2

0

0

1

1

0

1

0

0

Х1*х2*х3=f3

0

1

1

1

1

0

0

0

1

0

1

0

Ответ: F=F1+F2+F3

1

1

0

0

1

1

1

1

24 Логические основы компьютера

Логические основы компьютера

Базовые логические элементы

И (конъюнктор), ИЛИ (дизъюнктор), НЕ (инвертор)

Логический элемент компьютера (вентиль) - это электронная схема, реализующая базовую логическую операцию и характеризующаяся наличием сигнала на входе и выходе элемента.

С помощью базовых логических элементов можно реализовать любую логическую функцию, выполняющую арифметические операции или хранение информации.

Обычно у вентилей от двух до восьми входов и один или два выхода. Состояние логических элементов характеризуется таблицей входов-выходов логических элементов. На входы логических элементов подаются электрические сигналы высокого уровня напряжения (+5 вольт) – «логическая 1», и низкого уровня напряжения (около 0 вольт) – «логический 0»

Чтобы построить логическую схему необходимо: 1) определить число логических переменных 2) определить количество базовых логических операций и их порядок 3) выбрать вентиль для каждой операции и соединить их в порядке выполнения логических операций.

25 Логические основы компьютера

Логические основы компьютера

Базовые логические элементы

Конъюнктор

Дизъюнктор

Инвертор

А

А

F=а*в

А

F=а+в

А

В

В

A

B

F=A*B

A

B

F=A+B

A

A

0

0

0

0

0

0

0

1

0

1

1

0

1

0

1

0

1

1

0

1

0

0

1

1

1

1

1

1

26 Логические основы компьютера

Логические основы компьютера

Построение логических схем

1

Вычертить функциональную логическую схему по логическому выражению, предварительно упростив его: (А+В) + (А*В) +А

27 Логические основы компьютера

Логические основы компьютера

Построение логических схем

2

По функциональной логической схеме записать логическую функцию F, упростить ее и построить таблицу входов-выходов функции F.

А

F

&

&

1

В

F= ((а*в) + в)* а = а*а*в + в*а = в*а

А

В

А

В

А*в

А*в+в

((А*в)+в)*а

0

0

1

1

1

1

0

0

0

1

1

0

0

1

0

0

1

0

0

1

0

0

0

0

1

1

0

0

0

1

1

1

F=в*а

28 Логические основы компьютера

Логические основы компьютера

Одноразрядный двоичный полусумматор

Сконструируем схему одноразрядного полусумматора (без учета переноса из младшего разряда).

1

Р=а*в

2

3

4

Сумматор – это логическая электронная схема, выполняющая сложение двоичных чисел.

Запишем таблицу сложения двоичных чисел, обозначив Р – цифру переноса в старший разряд.

А

В

P

S

Столбец Р соответствует таблице истинности логического умножения.

0

0

0

0

0

1

0

1

Столбец S соответствует логическому сложению, кроме случая, когда две 1.

1

0

0

1

Построим схему для S и P

1

1

1

0

29 Логические основы компьютера

Логические основы компьютера

Одноразрядный двоичный сумматор

А

Р

В

Р0

S

S = (a*b) + (а*р0 ) + (b*р0)

Таблица входов-выходов

При сложении чисел А и В в каждом разряде на вход сумматора должны подаваться три двоичных сигнала: цифра А - первое слагаемое, цифра В - второе слагаемое, P0 – перенос из предыдущего разряда. Выходы одноразрядного сумматора: S – сумма, Р – перенос цифры из текущего разряда в старший.

Вид одноразрядного сумматора в виде единого функционального узла (условное обозначение)

А

В

Р0

Р

S

0

0

0

0

0

0

1

0

0

1

1

0

0

0

1

1

1

0

1

0

0

0

1

0

1

0

1

1

1

0

1

0

1

1

0

1

1

1

1

1

Вид трехразрядного сумматора

30 Логические основы компьютера

Логические основы компьютера

Триггер

S

Q

1

Q

1

R

Логическая схема RS-триггера

S – set (установка)

R – reset (сбрасывать)

Условное обозначение RS-триггера

Триггер (trigger – защелка, спусковой крючок) – это устройство , позволяющее запоминать , хранить и считывать 1 бит информации, т.е. он может находится в одном из двух устойчивых состояний - логический 0 или логическая 1, и мгновенно переходить («перебрасываться») из одного электрического состояния в другое.

При подаче сигнала на вход S триггер переходит в устойчивое единичное состояние

S

R

Q

Q

Режим триггера

1

0

1

0

Установка 1

При подаче сигнала на вход R триггер сбрасывается в устойчивое нулевое состояние

0

1

0

1

Установка 0

0

0

Последние значения

Последние значения

Хранение информации

При отсутствии сигнала триггер хранит последнее значение

1

1

Запрещено!

Запрещено!

Запрещено!

31 Логические основы компьютера

Логические основы компьютера

Регистры

Триггер был создан советским ученым А.Н.Бонч-Бруевичем

Регистры – совокупность триггеров, предназначенных для хранения и обработки двоичной информации. Число триггеров в регистре называется разрядностью компьютера и равна 8, 16, 32, 64.

Виды регистров

Регистры памяти (ячейки внутренней памяти)

Сколько триггеров необходимо для хранения информации объемом 1 бт, 1 Кбт, 1 Мбт, 64 Мбт?

Счетчик команд

Регистр команд

Регистр флагов

Назначение

Служат для хранения информации.

Регистр устройства управления процессора (УУ), хранит адрес выполняемой в данный момент команды, по которому она находится в ОЗУ.

Служит для вычисления адреса ячейки, где хранятся данные, требующиеся программе.

Регистр УУ, хранит информацию о последней команде, выполненной процессором.

32 Контрольная работа по теме «Основы алгебры логики и логические основы

Контрольная работа по теме «Основы алгебры логики и логические основы

компьютера»

«Основы алгебры логики»
http://900igr.net/prezentacija/algebra/osnovy-algebry-logiki-167201.html
cсылка на страницу

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

19 презентаций об алгебре логики
Урок

Алгебра

35 тем
Слайды