Слайды и текст этой онлайн презентации
Слайд 1
Составление таблицы истинности логической функции. Решение на Python
Задание 2 (ЕГЭ по информатике)
Слайд 2
ТАБЛИЦЫ ИСТИННОСТИ И ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ
Для логических операций приняты следующие обозначения:
операция.пояснение.в программировании
¬ A, A.не A (отрицание, инверсия).not(A)
A ∧ B, A ⋅ B.A и B (логическое умножение, конъюнкция).A and B
A ∨ B, A + B.A или B (логическое сложение, дизъюнкция).A or B
A → B.импликация (следование).A <= B
A ↔ B, A ≡ B, A ∼ B.эквиваленция (эквивалентность, равносильность).A==B (python) A=B(pascal)
A ⊕ B.строгая дизъюнкция.A != B (python)
Слайд 3
Порядок выполнения операций:
если нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», импликация, равносильность
Еще о логических операциях:
логическое произведение X∙Y∙Z∙… равно 1, т.е. выражение является истинным, только тогда, когда все сомножители равны 1 (а в остальных случаях равно 0)
логическая сумма X+Y+Z+… равна 0, т.е. выражение является ложным только тогда, когда все слагаемые равны 0 (а в остальных случаях равна 1)
Слайд 8
Задача 1
Логическая функция F задаётся выражением ¬w /\ ( y \/ z → ¬x /\ y). На рисунке приведён фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
?.?.?.?.F
...1.1
..1..1
.1.1..1
Слайд 9
Код программы для решения
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:
F = not(w)and( (y or z) <= (not(x)and y))
if F:
print(x, y, z, w)
Слайд 11
Задание 2
Логическая функция F задаётся выражением ((x → w) \/ y /\ ¬z) /\ ((y → ¬z) \/ x /\ ¬w). На рисунке приведён фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
?.?.?.?.F
.0.0..0
.0..0.0
0.0.0..0
Слайд 12
Код программы для решения
print('x y z w')
for x in range (0, 2):
for y in range (0, 2):
for z in range (0, 2):
for w in range (0, 2):
F = ((x<=w)or (y and not(z)))and ((y <= (not(z)))or (x and not(w)))
if F==0:
print(x, y, z, w)
Слайд 14
Задание 3
Логическая функция F задаётся выражением
((x → y) \/ ¬ (z → w)) /\ ((w → ¬x) \/ (¬y → z)). На рисунке приведён фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
?.?.?.?.F
0.0.0..0
0..1..0
0.0..1.0
Слайд 15
Код программы
print('x y z w')
for x in range (0, 2):
for y in range (0, 2):
for z in range (0, 2):
for w in range (0, 2):
F = ((x<=y)or (not(z<=w)))and((w<= (not(x)))or(not(y)<=z))
if F==0:
print(x, y, z, w)
Слайд 17
Источник информации:
https://code-enjoy.ru/ege_po_informatike_2022_zadanie_2_ay_da_python/