Предварительный просмотр презентации

Составление таблицы истинности логической функции. Решение на Python Задание 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) ТАБЛИЦЫ ИСТИННОСТИ И ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ Для логических операций приняты следующие обозначения:

Порядок выполнения операций: если нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», импликация, равносильность Еще о логических операциях: логическое произведение X∙Y∙Z∙… равно 1, т.е. выражение является истинным, только тогда, когда все сомножители равны 1 (а в остальных случаях равно 0) логическая сумма X+Y+Z+… равна 0, т.е. выражение является ложным только тогда, когда все слагаемые равны 0 (а в остальных случаях равна 1)





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

Код программы для решения 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)

Ответ wzyx

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

Код программы для решения 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)

Ответ zwyx

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

Код программы 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)

Ответ yzwx