Презентация на тему к уроку.Алгебра логики

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

умозаключения.

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

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

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

0

«Компьютер был изобретен в середине XIX века».
Какие из предложений

являются высказываниями? Какие из высказываний истинные?

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

0

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

истинны все входящие в него простые высказывания.

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

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

И , , and, &, *, ·

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

0

логического сложения является истинным тогда, когда истинно хотя бы

одно из входящих в него простых высказываний.

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

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

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

ИЛИ, , or, +

0

тогда и только тогда, когда из истины следует ложь.
От

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

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

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

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

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

0

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

истинны, либо ложны.

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

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

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

=,

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

0

в виде логических выражений
«Летом Петя поедет в деревню и,

если будет хорошая погода, то он будет рыбачить.»

1

А

В

С

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

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

F=A * (B C)

2

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

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

3

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

(XB)

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

4

В

С

D – идет дождь

В (С D)

0

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

выражений

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

5

У

М

В

С

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

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

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

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

У М*В*С

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

6

В

С

0

Рассмотрено высказывание: Pk = «Мишень поражена к-тым выстрелом», где

к=1, 2, 3. Что означают следующие высказывания: а) P1 + P2 + P3 б) P1 * P2 * P3 в)P1 * P2 * P3

7

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

8

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

9

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

0

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

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

на языке алгебры логики

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

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

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

0

прогноз погоды на завтра и утверждает следующее: 1. Если не

будет ветра, то будет пасмурная погода без дождя. 2. Если будет дождь, то будет пасмурно и без ветра. 3. Если будет пасмурная погода, то будет дождь и не будет ветра». Так какая же погода будет завтра?

1

А

В

С

Ветра нет

Пасмурно

Дождь

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. Поэтому «погода будет ясная, без дождя, но ветреная»

0

новых музыкантов: Брауна, Смита и Вессона, умеющих играть на

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

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

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

2

0

Михаил изучают различные иностранные языки: китайский, японский и арабский.

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

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

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

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

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

3

0

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

истинности

Х1*Х2*Х3=F1

Х1*Х2*Х3=F2

Х1*Х2*Х3=F3

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

0

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

и характеризующаяся наличием сигнала на входе и выходе элемента.

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

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

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

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

0

ГБОУ школа №430 Стрельникова Е.М

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

(А*В) +А

1

0

схеме записать логическую функцию F, упростить ее и построить

таблицу входов-выходов функции F.

А

В

&

1

&

F

F= ((А*В) + В)* А = А*А*В + В*А = В*А

2

0

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

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

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

1

2

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

3

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

4

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

Р=А*В

0

А и В в каждом разряде на вход сумматора

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

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

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

В

А

Р0

Р

S

S = (A*B) + (А*Р0 ) + (B*Р0)

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

0

крючок) – это устройство , позволяющее запоминать , хранить

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

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

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

1

1

S

R

Q

Q

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

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

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

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

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

0

А.Н.Бонч-Бруевичем
Сколько триггеров необходимо для хранения информации объемом 1 бт,

1 Кбт, 1 Мбт, 64 Мбт?

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

0