Статья Автор: Деникина Н.В., Деникин А.В.

Таблицы истинности — Самостоятельно: новые формулы и неполный вывод

Теперь выводы делаешь ты

Решай вручную или построй нужный фрагмент на Python через product. В черновике фиксируй не попытки расстановок, а факт и основание. Подписи записывай в поле ответа после проверки всех строк.


Задача 1. Другая формула с отрицанием и эквивалентностью


Черновик рассуждения

Запиши замеченный факт и его основание. Готовый ответ вводится в вопрос ниже. Здесь не нужно проверять разные полные расстановки.

F = ((w ≡ ¬x) → ¬(z → w)) ∨ ¬y

№?столбец 1?столбец 2?столбец 3?столбец 4F
У1——110
У20—100
У300——0

Постоянные значения: что известно и почему?

Связь столбцов: равны, противоположны, запрещённая пара?

Решающая строка: какие именно клетки исключают вариант?

Различность строк: где должно находиться отличие?


Логическая функция F задаётся выражением:

F = ((w ≡ ¬x) → ¬(z → w)) ∨ ¬y

Дан частично заполненный фрагмент таблицы истинности. Полные строки не повторяются. Каждый из четырёх первых столбцов соответствует одной из переменных x, y, z, w; каждая переменная используется ровно один раз. Столбец F подписан.

Столбец 1Столбец 2Столбец 3Столбец 4F
——110
0—100
00——0

Знак «—» обозначает неизвестное значение, а не ноль. Определи переменные в порядке столбцов слева направо. В ответе запиши строчные латинские буквы подряд, без пробелов и других разделителей.


Задача 2. Программа может вывести больше строк, чем дано в условии

Реши следующую учебную задачу. Можно использовать ручной анализ или построить таблицу на Python. Не требуется использовать каждую строку, которую напечатает программа.


Черновик рассуждения

Запиши замеченный факт и его основание. Готовый ответ вводится в вопрос ниже. Здесь не нужно проверять разные полные расстановки.

F = ¬z ∧ (x ∨ y) ∧ (w → x)

№?столбец 1?столбец 2?столбец 3?столбец 4F
У101—11
У210—11
У3—1001

Постоянные значения: что известно и почему?

Связь столбцов: равны, противоположны, запрещённая пара?

Решающая строка: какие именно клетки исключают вариант?

Различность строк: где должно находиться отличие?


Логическая функция F задаётся выражением:

F = ¬z ∧ (x ∨ y) ∧ (w → x)

Дан частично заполненный фрагмент таблицы истинности. Полные строки не повторяются. Каждый из четырёх первых столбцов соответствует одной из переменных x, y, z, w; каждая переменная используется ровно один раз. Столбец F подписан.

Столбец 1Столбец 2Столбец 3Столбец 4F
01—11
10—11
—1001

Знак «—» обозначает неизвестное значение, а не ноль. Определи переменные в порядке столбцов слева направо. В ответе запиши строчные латинские буквы подряд, без пробелов и других разделителей.


Задача 3. Проверка без готового кода

Предыдущий ответ ещё не показывает, что ты понял весь вывод. Проверь отдельно, сколько подходящих наборов даёт формула.


Для функции F = ¬z ∧ (x ∨ y) ∧ (w → x) из задачи 2 найди количество всех наборов x, y, z, w, на которых F = 1. Введи число.


Самопроверка перед отправкой

Для каждого найденного порядка подпиши исходный фрагмент, дополни пропуски и вычисли F. Известные клетки должны остаться неизменными, а полные строки — различаться. Разборы этих самостоятельных задач в тетради не приведены.
Загрузка...
Чтобы оставить комментарий, необходимо авторизоваться
💬
Пока нет комментариев. Будьте первым!
Печать