вопрос 2 урок 1 (2)

1. 2. Тема: Анализ таблиц истинности логических выражений.

3 мин

2. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: ИНВЕРСИЯ

Инверсия - логическая операция, которая каждому
высказыванию ставит в соответствие новое высказывание,
значение которого противоположно исходному.
Другое название: логическое отрицание
Обозначения: НЕ, ¬ , ¯
Таблица
истинности:
А
Ā
0
1
1
0

3. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: КОНЪЮНКЦИЯ

Конъюнкция - логическая операция, ставящая в
соответствие каждым двум высказываниям новое
высказывание, являющееся истинным тогда и только
тогда, когда оба исходных высказывания истинны.
Другое название: логическое умножение
Обозначения: , , &, И
Таблица
истинности:
Таблица логического
умножения:

4. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: ДИЗЪЮНКЦИЯ

Дизъюнкция - логическая операция, которая каждым
двум высказываниям ставит в соответствие новое
высказывание, являющееся ложным тогда и только тогда,
когда оба исходных высказывания ложны.
Другое название: логическое сложение
Обозначения: V, |, ИЛИ, +
Таблица
истинности:
Таблица логического
сложения:

5. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: ИМПЛИКАЦИЯ

Импликация - логическая операция, ставящая в
соответствие двум высказываниям новое, являющееся
ложным лишь тогда, когда первое высказывание (посылка)
истинно, а второе (следствие) - ложно.
Другое название: логическое следование
Обозначения:
Таблица импликации:
Таблица
истинности:

6. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: СТРОГАЯ ДИЗЪЮНКЦИЯ

Строгая дизъюнкция - логическая операция, ставящая в
соответствие двум высказываниям новое, являющееся
истинным тогда и только тогда, когда только одно из двух
высказываний истинно.
Другое название: исключающая дизъюнкция
Обозначения:
Таблица исключающей
дизъюнкции:
Таблица
истинности:

7. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: ЭКВИВАЛЕНЦИЯ

Эквиваленция - логическая операция, ставящая в
соответствие двум высказываниям новое, являющееся
истинным тогда и только тогда, когда оба исходных
высказывания истинны или оба исходных высказывания
ложны.
Другое название: равнозначность
Обозначения: ,
Таблица эквиваленции:
Таблица
истинности:

8.

9.

10. Шаблон

print("x,y,z,F")
for x in 0,1:
for y in 0,1:
for z in 0,1:
f=()
print(x,y,z,f)

11.

Р-14. Логическая функция F задаётся выражением (¬z) x x
y. Определите, какому столбцу таблицы истинности функции F
соответствует каждая из переменных x, y, z?
?
0
0
0
0
1
1
1
1
?
0
0
1
1
0
0
1
1
?
0
1
0
1
0
1
0
1
F
0
1
0
1
0
0
0
1

12. Шаблон

print("x,y,z,w")
for x in 0,1:
for y in 0,1:
for z in 0,1:
for w in 0,1:
if ()==1:
print(x,y,z,w)

13. 1. Логическая функция F задаётся выражением (x  y)  ¬(y  z)  ¬w. На рисунке приведён частично заполненный фрагмент таблицы

1. Логическая функция F задаётся выражением
(x y) ¬(y z) ¬w.
На рисунке приведён частично заполненный фрагмент таблицы
истинности функции F, содержащий неповторяющиеся строки.
Определите, какому столбцу таблицы истинности функции F
соответствует каждая из переменных x, y, z, w.
?
1
0
?
1
1
?
1
1
?
0
0
F
1
1
1
В ответе напишите буквы x, y, z, w в том порядке, в
котором идут соответствующие им столбцы. Буквы в
ответе пишите подряд, никаких разделителей между
буквами ставить не нужно.

14. 2 . Логическая функция F задаётся выражением ((x  ¬y)  (w  z))  (z  x). На рисунке приведён частично заполненный фрагмент

2 . Логическая функция F задаётся выражением
((x ¬y) (w z)) (z x).
На рисунке приведён частично заполненный фрагмент таблицы
истинности функции F, содержащий неповторяющиеся строки.
Определите, какому столбцу таблицы истинности функции F
соответствует каждая из переменных x, y, z, w.
?
0
0
?
0
1
?
0
0
?
1
0
1
В ответе напишите буквы x, y, z, w в том порядке, в
котором идут соответствующие им столбцы. Буквы в
ответе пишите подряд, никаких разделителей между
буквами ставить не нужно.
F
1
1
1