1 of 10

2 ЗАДАНИЕ

Алгебра логики

2 of 10

НАМ НУЖНО БУДЕТ ЗАПРОГРАММИРОВАТЬ ЛОГИЧЕСКУЮ ФУНКЦИЮ НА ЯЗЫКЕ ПИТОН. ВОТ ТАБЛИЦА, КОТОРАЯ ПОМОЖЕТ ЭТО СДЕЛАТЬ.

3 of 10

Миша заполнял таблицу истинности логической функции F

�

(w → z) ∧ ((y → x) ≡ (z → y))

�но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

�

Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

�

Пример. Функция F задана выражением ¬x \/ y, зависящим от двух переменных, а фрагмент таблицы имеет следующий вид.

�

В этом случае первому столбцу соответствует переменная y, а второму столбцу – переменная x. В ответе следует написать: yx.

4 of 10

ФУНКЦИЯ «RANGE» - МАССИВ

Python range () — это встроенная функция, доступная в Python из Python (3.x), и она дает последовательность чисел на основе заданного индекса начала и конца.

5 of 10

В задаче у нас 4 переменные, значит, формируем 4 вложенных цикла.

В каждом цикле перебираем все возможные значения для конкретной переменной. Мы перебираем значения 0 (False) и 1(True). (0, 2)

6 of 10

Функция должна выдавать всегда 1 (единицу, истину). Внутри всех циклов прописываем условие, которое срабатывает как раз на истину. В этом условии прописываем нашу функцию. Если наша функция будет выдавать истину, то мы распечатаем значения переменных, при которых это произошло. Если функция будет выдавать ложь, значит, ничего распечатано не будет.
(w → z) ∧ ((y → x) ≡ (z → y))

Четыре вложенных цикла проверяют все возможные варианты (2⁴ = 16 вариантов), и мы получим таблицу истинности, почти такую же, как нам и дали в условии задачи.

�Так же вверху печатаем названия переменных, чтобы знать, какие значения каким переменным принадлежат.

�

7 of 10

Запустим программу, и на экране распечатается табличка:

Ответ: xwzy

8 of 10

ПРОГРАММА:

9 of 10

Задача�

Миша заполнял таблицу истинности функции (x ≡ ¬y) → ((x ∧ w) ≡ z), но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

�