FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.
Email: Нажмите что бы посмотреть
Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.
A и B
A или не B
если A, то B
A тогда и только
тогда, когда B
Сейчас идет дождь и открыта форточка.
Сейчас идет дождь или форточка закрыта.
Если сейчас идет дождь, то форточка открыта.
Дождь идет тогда и только тогда, когда открыта форточка.
Таблица истинности логического выражения Х – это таблица, где в левой части записываются все возможные комбинации значений исходных данных, а в правой – значение выражения Х для каждой комбинации.
A
B
A ∧ B
A или B
A
B
1 2 3 4
0
0
также:
A xor B (Паскаль),
A ^ B (Си)
1
1
сложение по модулю 2: А ⊕ B = (A + B) mod 2
арифметическое сложение, 1+1=2
остаток
1
1
1
0
X – «Неисправны датчики № 1 и № 2» или
«Неисправны датчики № 1 и № 3» или
«Неисправны датчики № 2 и № 3».
логическая формула
Задачи
Задачи
(Динамо | Спартак) & Рубин
= 1 + 2 + 3 = 430
Динамо & Спартак & Рубин
= 2
= (320 + 280) – 430 =
170
Задачи
сканер & монитор = 50
50
40
(принтер | сканер) & монитор = ?
M=1, L=1, N=1,
K – любое
2 решения
K=1, L=1, M=0,
N – любое
2 решения
распределительный
исключения третьего
исключения третьего
распределительный
А
(all – все)
E
(exists – существует)
при
при
при
при
– высказывание «для любого x существует y, при котором P(x,y)=1»
– высказывание «существует x, такой что при любом y верно P(x,y)=1»
Сравните два последних высказывания при:
основной
выход
вспомогательный
выход
reset, сброс
set, установка
обратные связи
1
1
0
0
0
0
0 1
1 0
проект России (?)
–
+
–
–
+
+
проект США (?)
+
–
проект Китая (?)
+
–
+
+
+
+
0
0
0
0
1
0
0
0
1
0
0
1
1
0
1
0
0
1
Много вариантов.
Есть точные данные.
… если корабль A вышел в море, то корабль C – нет.
1. Неверно, что если корабль A вышел в море, то корабль C – нет.
2. В море вышел корабль B или корабль C, но не оба вместе.
Решение:
Решение:
A – неисправен процессор, B – память, C – винчестер
хозяин:
сын:
мастер:
Если ошибся хозяин:
Если ошибся сын:
Если ошибся мастер:
Решение:
A – логику изучал Андрей, B – Борис, C – Семен
«Если логику изучал Андрей,
то изучал и Борис».
1 способ:
«Неверно, что если изучал
Семен, то изучал и Борис».
Решение:
A – логику изучал Андрей, B – Борис, C – Семен
«Если логику изучал Андрей,
то изучал и Борис».
2 способ:
«Неверно, что если изучал
Семен, то изучал и Борис».
Решение:
A – виновен Аськин, B – Баськин, C – Сенькин
«Если Аськин не виновен или Баськин
виновен, то виновен Сенькин».
«Если Аськин не виновен, то
Сенькин не виновен».
Аськин виновен
Решение:
A – виновен Аськин, B – Баськин, C – Сенькин
Не получили противоречия: возможно, что и виновен
Решение:
A – виновен Аськин, B – Баськин, C – Сенькин
Не получили противоречия: возможно, что и виновен
Укажите, какое логическое выражение равносильно выражению A ∧ ¬(¬B ∨ C).
1) ¬A ∨ ¬B ∨ ¬C
2) A ∨ ¬B ∨ ¬C
3) A ∧ B ∧ ¬C
4) A ∧ ¬B ∧ C
A
B
2
3124
1
4
Ответ:
