логика к.поляков
TRANSCRIPT
![Page 1: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/1.jpg)
1
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
1. Логические выражения и операции2. Диаграммы3. Преобразование логических выражений4. Синтез логических выражений 5. Логические элементы компьютера6. Логические задачи
![Page 2: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/2.jpg)
2
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
Тема 1. Логические выражения и операции
![Page 3: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/3.jpg)
3Булева алгебраДвоичное кодирование – все виды информации
кодируются с помощью 0 и 1.
Задача – разработать оптимальные правила обработки таких данных.
Джордж Буль разработал основы алгебры, в которой используются только 0 и 1(алгебра логики, булева алгебра).
Почему «логика»?Результат выполнения операции можно представить как истинность (1) или ложность (0) некоторого высказывания.
![Page 4: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/4.jpg)
4Логические высказыванияЛогическое высказывание – это повествовательное
предложение, относительно которого можно однозначно сказать, истинно оно или ложно.
Высказывание или нет?
Сейчас идет дождь.
Жирафы летят на север.
История – интересный предмет.
У квадрата – 10 сторон и все разные.
Красиво!
В городе N живут 2 миллиона человек.
Который час?
![Page 5: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/5.jpg)
5Обозначение высказыванийA – Сейчас идет дождь.B – Форточка открыта. } простые высказывания
(элементарные)
Составные высказывания строятся из простых с помощью логических связок (операций) «и», «или», «не», «если … то», «тогда и только тогда» и др.
Любое высказывание может быть ложно (0) или истинно (1).
!
A и B
A или не B
если A, то B
не A и B
A тогда и только тогда, когда B
Сейчас идет дождь и открыта форточка.
Сейчас идет дождь или форточка закрыта.
Если сейчас идет дождь, то форточка открыта.
Сейчас нет дождя и форточка открыта.
Дождь идет тогда и только тогда, когда открыта форточка.
![Page 6: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/6.jpg)
6Операция НЕ (инверсия)Если высказывание A истинно, то «не А» ложно, и наоборот.
А не А
10
01 таблица
истинности операции НЕ
также: ,not A (Паскаль),
! A (Си)
Таблица истинности логического выражения Х – это таблица, где в левой части записываются все возможные комбинации значений исходных данных, а в правой – значение выражения Х для каждой комбинации.
A
![Page 7: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/7.jpg)
7Операция И (логическое умножение, конъюнкция)
A B А и B
1
0
также: A·B, A B,A and B
(Паскаль), A && B (Си)
0 00 11 01 1
0123
00
конъюнкция – от лат. conjunctio — соединение
A B
Высказывание «A и B» истинно тогда и только тогда, когда А и B истинны одновременно.
![Page 8: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/8.jpg)
8Операция ИЛИ (логическое сложение, дизъюнкция)
A B А или B
1
0
также: A+B, A B,A or B (Паскаль),
A || B (Си)
0 00 11 01 1
11
дизъюнкция – от лат. disjunctio — разъединение
Высказывание «A или B» истинно тогда, когда истинно А или B, или оба вместе.
![Page 9: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/9.jpg)
9Операция «исключающее ИЛИ»Высказывание «A B» истинно тогда, когда истинно А или B, но не оба одновременно.
A B А B
0
0
также: A xor B (Паскаль),
A ^ B (Си)0 00 11 01 1
11
сложение по модулю 2: А B = (A + B) mod 2
арифметическое сложение, 1+1=2
остаток
![Page 10: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/10.jpg)
10
A A =(A B) B =
Свойства операции «исключающее ИЛИ»
A 0 = A 1 =
A 0
BABABA
?
A B А B0 00 11 01 1
BA BA BABA 0010
0100
0110
0110
A
![Page 11: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/11.jpg)
11Импликация («если …, то …»)
Высказывание «A B» истинно, если не исключено, что из А следует B. A – «Работник хорошо работает». B – «У работника хорошая зарплата».
A B А B0 00 11 01 1
BABA
1
110
![Page 12: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/12.jpg)
12Импликация («если …, то …»)«Если Вася идет гулять, то Маша сидит дома». A – «Вася идет гулять». B – «Маша сидит дома».
Маша может пойти гулять (B=0), а может и не пойти (B=1)!
A B А B0 0 10 1 11 0 01 1 1
А если Вася не идет гулять?
?1BA
![Page 13: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/13.jpg)
13Эквиваленция («тогда и только тогда, …»)
Высказывание «A B» истинно тогда и только тогда, когда А и B равны.
A B А B0 0 10 1 01 0 01 1 1
BABABABA
![Page 14: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/14.jpg)
14Базовый набор операций
С помощью операций И, ИЛИ и НЕ можно реализовать любую логическую операцию.
ИЛИИ НЕ
базовый набор операций
Сколько всего существует логических операции с двумя переменными?
?
![Page 15: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/15.jpg)
15Логические формулыПрибор имеет три датчика и может работать, если два из них исправны. Записать в виде формулы ситуацию «авария». A – «Датчик № 1 неисправен». B – «Датчик № 2 неисправен». C – «Датчик № 3 неисправен».Аварийный сигнал: X – «Неисправны два датчика». X – «Неисправны датчики № 1 и № 2» или «Неисправны датчики № 1 и № 3» или «Неисправны датчики № 2 и № 3».
CBCABAX логическая формула
![Page 16: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/16.jpg)
16Составление таблиц истинности
A B A·B X0 00 11 01 1
BBABAX
0123
0100
BA B0001
1010
1111
Логические выражения могут быть: тождественно истинными (всегда 1, тавтология) тождественно ложными (всегда 0, противоречие) вычислимыми (зависят от исходных данных)
![Page 17: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/17.jpg)
17Составление таблиц истинности
A B C A∙B A∙C B∙C X0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1
CBCABAX
01234567
00000011
00000101
00010001
00010111
![Page 18: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/18.jpg)
18
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
Тема 2. Диаграммы
![Page 19: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/19.jpg)
19
A
B
A
B
Диаграммы Вена (круги Эйлера)
A
A A·B
AB
A+B
AB AB AB
AB
A
B
![Page 20: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/20.jpg)
20Диаграмма МХН (Е.М. Федосеев)
ХочуМогу
Надо
1
2 3 4
56
7
8
HXM 1 HXM 5
HXM 2 HXM 6
HXM 3 HXM 7
HXM 4 HXM8
4 3 HX4 3 HXMHXM
Логические формулы можно упрощать!!
![Page 21: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/21.jpg)
21
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
Тема 3. Преобразование логических выражений
![Page 22: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/22.jpg)
22Законы алгебры логики
название для И для ИЛИ
двойного отрицания
исключения третьего
операции с константами
повторения
поглощения
переместительный
сочетательный
распределительный
законы де Моргана
AA
0AA 1AA
A1A0,0A 11AA,0A
AAA AAA
AB)AA ( ABAA ABBA ABBA
CB)AC)BA (( CB)AC)BA ((
C)AB)ACBA (( CABAC)BA (
BABA BABA
![Page 23: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/23.jpg)
23Упрощение логических выраженийШаг 1. Заменить операции на их выражения
через И, ИЛИ и НЕ:
Шаг 2. Раскрыть инверсию сложных выражений по формулам де Моргана:
Шаг 3. Используя законы логики, упрощать выражение, стараясь применять закон исключения третьего.
BABABA
BABA
BABABA
BABA,BABA
![Page 24: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/24.jpg)
24Упрощение логических выражений
HXMHXMQ HX)MM ( HX
C)(AB)(AA)(BX C)A(B)(AA)B(
C)A(BAA)B( C)A(B)AAAB(
C)A(BAB C)A(AB
AB
раскрыли
формула де Моргана
распределительный
исключения третьего
повторения
поглощения
![Page 25: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/25.jpg)
25Логические уравнения
1CBABA
A=0, B=1, C – любое2 решения: (0, 1, 0), (0, 1, 1)
1BA или 1CBA
A=1, B=0, C=1
Всего 3 решения!!1MLKNLMLK
K=1, L=1, M и N – любые
4 решения
M=1, L=1, N=1,K – любое2 решения
K=1, L=1, M=0,N – любое2 решения
1N)MKL ( Всего 5 решений!!
![Page 26: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/26.jpg)
26
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
Тема 4. Синтез логических выражений
![Page 27: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/27.jpg)
27Синтез логических выражений
A B X0 0 10 1 11 0 01 1 1
Шаг 1. Отметить строки в таблице, где X = 1.
Шаг 2. Для каждой из них записать логическое выражение, которое истинно только для этой строки.
Шаг 3. Сложить эти выражения и упростить результат.
BA BA
BA
BABABAX BAB)BA (
BAA B)AA)A (( BA
распределительный
исключения третьего
исключения третьегораспределительный
![Page 28: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/28.jpg)
28Синтез логических выражений (2 способ)
A B X0 0 10 1 11 0 01 1 1
Шаг 1. Отметить строки в таблице, где X = 0.
Шаг 2. Для каждой из них записать логическое выражение, которое истинно только для этой строки.
Шаг 3. Сложить эти выражения и упростить результат, который равен .
Шаг 4. Сделать инверсию.
BA
BAX BA
X
Когда удобнее применять 2-ой способ?? BAX
![Page 29: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/29.jpg)
29Синтез логических выражений
A B C X0 0 0 10 0 1 10 1 0 10 1 1 11 0 0 01 0 1 11 1 0 01 1 1 1
CBA CBA CBA CBA
CBA
CBA
CBACBA
CBACBA
CBACBAX
B)B(CA
C)CBA
C)CBA
(
(
CABABA
CAA
CAB)BA
(
CAC)AA)A ((
![Page 30: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/30.jpg)
30Синтез логических выражений (2 способ)
A B C X0 0 0 10 0 1 10 1 0 10 1 1 11 0 0 01 0 1 11 1 0 01 1 1 1
CBA
CBA
CBACBAX B)B(CA
CACAX
CA
![Page 31: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/31.jpg)
31
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
Тема 5. Логические элементы компьютера
![Page 32: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/32.jpg)
32Логические элементы компьютера
& 1
1&
НЕ
A AA
BBA
A
B
A
B
A
B
И ИЛИ
ИЛИ-НЕИ-НЕ
значок инверсии
BA
BA BA
![Page 33: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/33.jpg)
33Логические элементы компьютераЛюбое логическое выражение можно реализовать на элементах И-НЕ или ИЛИ-НЕ.
A A&
И:НЕ:
&A
BBA & BA
ИЛИ:
AAAAA BABA
BABA
A
B
BA
&
&&
A
B
![Page 34: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/34.jpg)
34Составление схем
CBABAX
последняя операция - ИЛИ
BA
CBA X& 1
&& BAC
A
C
B
A
И
B
AB
![Page 35: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/35.jpg)
35Триггер (англ. trigger – защёлка)Триггер – это логическая схема, способная хранить 1
бит информации (1 или 0). Строится на 2-х элементах ИЛИ-НЕ или на 2-х элементах И-НЕ.
SQ
R
1
1основной
выход
вспомогательный выход
reset, сброс
set, установка
обратные связи
S R Q режим
0 00 11 01 1
QQQ хранение
запрещен
110
0
сброс
установка 1
0 0
Q
![Page 36: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/36.jpg)
36ПолусумматорПолусумматор – это логическая схема, способная
складывать два одноразрядных двоичных числа.
ΣA
B
S
P
сумма
перенос
A B P S0 0
0 1
1 0
1 1
0 0
0 1
0 1
1 0BAP
BABABAS
&1
BABAS BA
A
A
&
B
BA
&P
B BA Схема на 4-х
элементах??
![Page 37: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/37.jpg)
37СумматорСумматор – это логическая схема, способная
складывать два одноразрядных двоичных числа с переносом из предыдущего разряда.
ΣAB
S
P
сумма
переносCперенос
A B C P S0 0 0 0 0
0 0 1 0 1
0 1 0 0 1
0 1 1 1 0
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1
![Page 38: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/38.jpg)
38Многоразрядный сумматорэто логическая схема, способная складывать два n-разрядных двоичных числа.
11-nn aa a A
11-nn bbb B
11-nn ccc C
pперенос
pперенос
Σ1a
1b
1c
02p 3p
2cΣ2a
2bΣna
nb
nc
np
![Page 39: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/39.jpg)
39
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
Тема 6. Логические задачи
![Page 40: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/40.jpg)
40Метод рассужденийЗадача 1. Министры иностранных дел России, США и Китая обсудили за
закрытыми дверями проекты договора, представленные каждой из стран. Отвечая затем на вопрос журналистов: «Чей именно проект был принят?», министры дали такие ответы: Россия — «Проект не наш (1), проект не США (2)»;
США — «Проект не России (1), проект Китая (2)»;Китай — «Проект не наш (1), проект России (2)».
Один из них оба раза говорил правду; второй – оба раза говорил неправду, третий один раз сказал правду, а другой раз — неправду. Кто что сказал?
(1) (2)
Россия
СШАКитай
проект России (?)
– +– –+ +
(1) (2)
Россия
СШАКитай
проект США (?)
+–
(1) (2)
Россия
СШАКитай
проект Китая (?)
+–+
+
+ +
![Page 41: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/41.jpg)
41Табличный методЗадача 2. Дочерей Василия Лоханкина зовут Даша, Анфиса и Лариса. У
них разные профессии и они живут в разных городах: одна в Ростове, вторая – в Париже и третья – в Москве. Известно, что
• Даша живет не в Париже, а Лариса – не в Ростове,• парижанка – не актриса,• в Ростове живет певица,• Лариса – не балерина.
Париж Ростов Москва Певица Балерина Актриса
Даша
Анфиса
Лариса
0
0 0
В каждой строке и в каждом столбце может быть только одна единица!!
0 1
00
01 0 0
1
1
0 1 00 1
• Много вариантов.• Есть точные данные.
![Page 42: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/42.jpg)
42Использование алгебры логикиЗадача 3. Следующие два высказывания истинны:
1. Неверно, что если корабль A вышел в море, то корабль C – нет.2. В море вышел корабль B или корабль C, но не оба вместе.
Определить, какие корабли вышли в море.
… если корабль A вышел в море, то корабль C – нет. 1CA
1. Неверно, что если корабль A вышел в море, то корабль C – нет. 0CA 1CA
2. В море вышел корабль B или корабль C, но не оба вместе. 1CB
Решение:
1C)(BCA
1C 0,B1,A
1C)BC(BCA
1C)BC(BCA
1BCA
![Page 43: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/43.jpg)
43Использование алгебры логикиЗадача 4. Когда сломался компьютер, его хозяин сказал «Память не могла
выйти из строя». Его сын предположил, что сгорел процессор, а винчестер исправен. Мастер по ремонту сказал, что с процессором все в порядке, а память неисправна. В результате оказалось, что двое из них сказали все верно, а третий – все неверно. Что же сломалось?
Решение:A – неисправен процессор, B – память, C – винчестер
хозяин: 1B0,B сын: мастер:1CA 1BA
Если ошибся хозяин: 1BACABX1
Если ошибся сын: 1BACABX2
Если ошибся мастер: 1BACABX3 1)BACABX3 (
1CABX3
В общем случае: 1XXX 321 Несколько решений!!0C0B1A
![Page 44: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/44.jpg)
44Использование алгебры логикиЗадача 5. На вопрос «Кто из твоих учеников изучал логику?»
учитель ответил: «Если логику изучал Андрей, то изучал и Борис. Однако неверно, что если изучал Семен, то изучал и Борис». Кто же изучал логику?
Решение: A – логику изучал Андрей, B – Борис, C – Семен
«Если логику изучал Андрей, то изучал и Борис».
0BC
1 способ: 1)BC(B)(A
1C0B0A
1BA
«Неверно, что если изучал Семен, то изучал и Борис».
1BC
1)BC(B)A(
1BCB)A(
1BCA
![Page 45: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/45.jpg)
45Использование алгебры логикиЗадача 5. На вопрос «Кто из твоих учеников изучал логику?»
учитель ответил: «Если логику изучал Андрей, то изучал и Борис. Однако неверно, что если изучал Семен, то изучал и Борис». Кто же изучал логику?
Решение: A – логику изучал Андрей, B – Борис, C – Семен
«Если логику изучал Андрей, то изучал и Борис».
0BC 2 способ:
1C0B0A
1BA
«Неверно, что если изучал Семен, то изучал и Борис».
С B С B0 0 10 1 11 0 01 1 11C
0B
A B A B0 0 10 1 11 0 01 1 1
![Page 46: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/46.jpg)
46Использование алгебры логикиЗадача 6. Суд присяжных пришел к таким выводам:• если Аськин не виновен или Баськин виновен, то виновен
Сенькин• если Аськин не виновен, то Сенькин не виновенВиновен ли Аськин?
Решение: A – виновен Аськин, B – Баськин, C – Сенькин
«Если Аськин не виновен или Баськин виновен, то виновен Сенькин».
1CA
1CB)A(
«Если Аськин не виновен, то Сенькин не виновен».
1)CA(C)B)A((
1)C(AC))BA((
1)C(AC)B(A 0A 1CC
Аськин виновен
![Page 47: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/47.jpg)
47Использование алгебры логикиЗадача 6б. Суд присяжных пришел к таким выводам:• если Аськин не виновен или Баськин виновен, то виновен
Сенькин• если Аськин не виновен, то Сенькин не виновенВиновен ли Баськин?
Решение: A – виновен Аськин, B – Баськин, C – Сенькин
1)C(AC)B(A 0B 1A
1)C(AC)B(A 1B 1AC
Не получили противоречия: возможно, что и виновен
![Page 48: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/48.jpg)
48Использование алгебры логикиЗадача 6в. Суд присяжных пришел к таким выводам:• если Аськин не виновен или Баськин виновен, то виновен
Сенькин• если Аськин не виновен, то Сенькин не виновенВиновен ли Сенькин?
Решение: A – виновен Аськин, B – Баськин, C – Сенькин
1)C(AC)B(A 0C 1BA
1)C(AC)B(A 1C 1A
Не получили противоречия: возможно, что и виновен
![Page 49: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/49.jpg)
49
Логические основы
компьютеров
© К.Ю. Поляков, 2007-2009
Тема 7. Задачи ЕГЭ
![Page 50: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/50.jpg)
50Задачи ЕГЭДля какого из указанных значений X истинно высказывание ¬((X > 2)→(X > 3))? 1) 1 2) 2 3) 3 4) 4
Укажите, какое логическое выражение равносильно выражению A ¬(¬B C).
1) ¬A ¬B ¬C 2) A ¬B ¬C3) A B ¬C4) A ¬B C
3)(X2)(X
1) 2) 3) 4)
CBA
C)B(A CBA
CBA
13)(X2)(X 03)(X2)(X 0BA 0B 1,A
3X2X 3X
CBA
![Page 51: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/51.jpg)
51Задачи ЕГЭ (2)Каково наибольшее целое число X, при котором истинно высказывание
(50 < X·X) → (50 > (X+1)·(X+1))В целых числах:
8XX 50 2 6X8-71X1)(X 50 2
A B
6 7 88- 7- 6-
1BA
1B 1,A1B 0,A0B 0,A
7X max
![Page 52: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/52.jpg)
52Задачи ЕГЭ (3)Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F. Какое выражение соответствует F? 1) ¬X ¬Y ¬Z 2) X Y Z3) X Y Z4) ¬X ¬Y ¬Z
X Y Z F1 0 0 10 0 0 11 1 1 01)
2) 3) 4)
ZYX ZYX
ZYX ZYX
![Page 53: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/53.jpg)
53Задачи ЕГЭ (4)В таблице приведены запросы к поисковому серверу. Расположите номера запросов в порядке возрастания количества страниц, которые найдет поисковый сервер по каждому запросу. Для обозначения логической операции «ИЛИ» в запросе используется символ |, а для логической операции «И» – &.1) принтеры & сканеры & продажа2) принтеры & продажа3) принтеры | продажа4) принтеры | сканеры | продажа
1 2 3 4
![Page 54: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/54.jpg)
Некоторый сегмент сети Интернет состоит из 1000 сайтов. Поисковый сервер в автоматическом режиме составил таблицу ключевых слов для сайтов этого сегмента. Вот ее фрагмент:
Сколько сайтов будет найдено по запросу (принтер | сканер) & мониторесли по трем следующим запросам найдено:принтер | сканер – 450 сайтов, принтер & монитор – 40 сайтовсканер & монитор – 50 сайтов.
54Задачи ЕГЭ (5)
Ключевое словоКоличество сайтов, для которых данное слово является ключевым
сканер 200принтер 250монитор 450
90
![Page 55: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/55.jpg)
55Задачи ЕГЭ (6)Перед началом Турнира Четырех болельщики высказали следующие предположения по поводу своих кумиров:
А) Макс победит, Билл – второй; В) Билл – третий, Ник – первый; С) Макс – последний, а первый – Джон.
Когда соревнования закончились, оказалось, что каждый из болельщиков был прав только в одном из своих прогнозов. Какое место на турнире заняли Джон, Ник, Билл, Макс? (В ответе перечислите подряд без пробелов места участников в указанном порядке имен.)
A B CДжон 1Ник 1Билл 2 3Макс 1 4
23124
1
4Ответ:
![Page 56: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/56.jpg)
56Задачи ЕГЭ (7)На одной улице стоят в ряд 4 дома, в каждом из них живет по одному человеку. Их зовут Василий, Семен, Геннадий и Иван. Известно, что все они имеют разные профессии: скрипач, столяр, охотник и врач. Известно, что (1) Столяр живет правее охотника. (2) Врач живет левее охотника. (3) Скрипач живет с краю. (4) Скрипач живет рядом с врачом. (5) Семен не скрипач и не живет рядом со скрипачом. (6) Иван живет рядом с охотником. (7) Василий живет правее врача. (8) Василий живет через дом от Ивана.Определите, кто где живет, и запишите начальные буквы имен жильцов всех домов слева направо. Например, если бы в домах жили (слева направо) Кирилл, Олег, Мефодий и Пафнутий, ответ был бы КОМП.
![Page 57: логика к.поляков](https://reader035.vdocuments.pub/reader035/viewer/2022062522/587b8b271a28ab9d448b70a5/html5/thumbnails/57.jpg)
57Задача ЭйнштейнаУсловие: Есть 5 домов разного цвета, стоящие в ряд. В каждом доме живет по одному
человеку отличной от другого национальности. Каждый жилец пьет только один определенный напиток, курит определенную марку сигарет и держит животное. Никто из пяти человек не пьет одинаковые напитки, не курит одинаковые сигареты и не держит одинаковых животных.
Известно, что:1. Англичанин живет в красном доме.2. Швед держит собаку. 3. Датчанин пьет чай. 4. Зеленой дом стоит слева от белого. 5. Жилец зеленого дома пьет кофе. 6. Человек, который курит Pallmall, держит птицу. 7. Жилец среднего дома пьет молоко. 8. Жилец из желтого дома курит Dunhill. 9. Норвежец живет в первом доме. 10. Курильщик Marlboro живет около того, кто держит кошку. 11. Человек, который содержит лошадь, живет около того, кто курит Dunhill.12. Курильщик Winfield пьет пиво. 13. Норвежец живет около голубого дома. 14. Немец курит Rothmans. 15. Курильщик Marlboro живет по соседству с человеком, который пьет воду.
Вопрос: У кого живет рыба?