Логика и истинные наборы. Решения

Источник задания: Решение 2437. ЕГЭ 2017. Информатика. В.Р. Лещинер. 10 вариантов.

Задание 2. Логическая функция F задается выражением . Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных х, у, z.

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

Решение.

Перепишем выражение для F с учетом приоритетов операций отрицания, конъюнкции и дизъюнкции:

.

Рассмотрим 4-ю строчку таблицы (1,1,0)=0. Отсюда видно, что на третьем месте должна стоять или переменная y или переменная z, иначе во второй скобке получится 1, что приведет к значению F=1. Теперь рассмотрим 5-ю строчку таблицы (0,0,1)=1. Так как на первом или втором месте должна стоять x, то первая скобка даст 1 только тогда, когда y будет стоять на 3-м месте. Учитывая, что вторая скобка всегда равна 0, то F=1 получается благодаря 1 в первой скобке. Таким образом, получили, что на 3-м месте стоит y. Наконец, рассмотрим 7-ю строчку таблицы (1,0,1)=0. Здесь y=1 и чтобы F=0 необходимо z=0 и x=1, следовательно, x стоит на 1-м месте, а z – на втором.

№1

(x /\ y/\z/\¬w)\/ (x /\ y/\¬z/\¬w)\/ (x /\¬ y/\¬z/\¬w).

Решение

x /\ y/\z/\¬w – x=1, y=1, z=1, w=0;
x /\ y/\¬z/\¬w – x=1, y=1, z=0, w=0;
x /\¬ y/\¬z/\¬w – x=1, y=0, z=0, w=0.
В итоге получаем 6 единиц.
Ответ: 6.

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

(¬x /\ y/\¬z/\w)\/ (x /\ y/\z/\¬w)\/ (x /\¬ y/\¬z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

(x /\ ¬y/\z/\w)\/ (x /\ y/\¬z/\w)\/ (¬x /\ y/\ z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

(¬x /\ ¬y/\z/\w)\/ (¬x /\ ¬y/\¬z/\w)\/ (¬x /\ y/\ z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

(¬x /\ y/\¬z/\¬w)\/ (x /\ ¬y/\¬z/\¬w)\/ (¬x /\ ¬y/\ z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

(x /\ y/\¬w)\/ (x /\¬ y/\¬z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них соединены конъюнкцией, то каждый член должен быть истинным. Выпишем истинные наборы для каждой дизъюнкции.
x /\ y/\¬w – (x=1, y=1, z=1, w=0) и (x=1, y=1, z=0, w=0);
x /\¬ y/\¬z/\¬w – x=1, y=1, z=0, w=0.
В итоге получаем 6 единиц.

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

(x /\ y/\z/\¬w)\/ (x /\¬z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

(¬x /\ ¬y/\z/\w)\/ (x /\z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

(y /\ ¬z /\ ¬w) \/ (¬x /\ ¬y/\¬z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

(x /\ y /\ ¬z) \/ (¬x /\ ¬y/\¬z).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению .

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

¬((¬w/\x) → (y /\ z)) \/ ¬((x /\¬ y)→ (¬z\/¬w)).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

¬((¬w/\x) → (y /\ z)) – (x=1, y=1, z=0, w=0) и (x=1, y=0, z=1, w=0);
¬((x /\¬ y)→ (¬z\/¬w)) – (x=1, y=0, z=1, w=1).
В итоге получаем 5 единиц.

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

¬((¬x\/¬y) → (z \/ w)) \/ ¬((x \/ y)→ (z\/¬w)).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них импликацией, то условие ее ложности дает истинность скобок. Следуя примеру, выпишем истинные наборы для каждой скобки.
¬((¬x\/¬y) → (z \/ w)) – (x=1, y=0, z=0, w=0) и (x=0, y=1, z=0, w=0);
¬((x /\¬ y)→ (¬z\/¬w)) – (x=1, y=0, z=0, w=0).
В итоге получаем 3 единиц.

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

¬(¬(x\/y) → (¬z\/ w)) \/ ¬(¬(x /\ y)→ (z\/¬w)).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них импликацией, то условие ее ложности дает истинность скобок. Следуя примеру, выпишем истинные наборы для каждой скобки.
¬(¬(x\/y) → (¬z\/ w)) – (x=0, y=0, z=1, w=0);
¬(¬(x /\ y)→ (z\/¬w)) – (x=1, y=0, z=0, w=1), (x=0, y=1, z=0, w=1) и
(x=0, y=0, z=0, w=1).
В итоге получаем 6 единиц.

Основано на: демонстрационных вариантах ЕГЭ по информатике за 2015 год, на учебнике Босовой Людмилы Леонидовны

В предыдущей части 1 мы разобрали с вами логические операции Дизъюнкция и Конъюнкция , нам с вами осталось разобрать инверсию и перейти к решению задания ЕГЭ.

Инверсия

Инверсия — логическая операция, которая каждому высказыванию ста-вит в соответствие новое высказывание, значение которого противопо-ложно исходному.

Для записи инверсии используются следующие знаки: НЕ, `¯` , `¬ `

Инверсия определяется следующей таблицей истинности:

Инверсию иначе называют логическим отрицанием.

Любое сложное высказывание можно записать в виде логического выражения — выражения, содержащего логические переменные, знаки логических операций и скобки. Логические операции в логи-ческом выражении выполняются в следующей очерёдности: инвер-сия, конъюнкция, дизъюнкция. Изменить порядок выполнения опе-раций можно с помощью расстановки скобок.

Логические операции имеют следующий приоритет: инверсия, конъюнк-ция, дизъюнкция.

И так, перед нами задание №2 из ЕГЭ по информатике 2015 года

Александра заполняла таблицу истинности для выражения F. Она успела заполнить лишь небольшой фрагмент таблицы:

x1	x2	x3	x4	x5	x6	x7	x8	F
	0						1	0
1			0					1
			1				1	1

Каким выражением может быть F?

Значительно облегчает решение задания то, что в каждом варианте сложного выражения F только одна логическая операция: умножение или сложение. В случае умножения /\ если хотя бы одна переменная будет равна нулю, то значение всего выражения F так же должно быть равно нулю. А в случае со сложением V если хотя бы одна переменная будет равна единице, то значение всего выражения F должно быть равно 1.

Тех данных, которые есть в таблице по каждой из 8 переменных выражения F, нам вполне достаточно для решения.

Проверим выражение номер 1:

• ? /\ 1 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 0 )
• по второй строчке таблицы x1=1, х4=0 мы с вами видим что F возможно и может быть равным = 1, если все остальные переменные равны 1 (1 /\ ? /\ ? /\ 1 /\ ? /\ ? /\ ? /\ ? )
• по третьей строчке таблицы x4=1, х8=1 мы с вами видим что F=0 (? /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ 0 ), а в таблице у нас F=1, и это значит, что выражение под номером один нам ТОЧНО НЕ ПОДХОДИТ .

Проверим выражение номер 2:

• по первой строчке таблицы x2=0, х8=1 мы с вами видим что F возможно и может быть равным = 0, если все остальные переменные равны 0 (? V 0 V ? V ? V ? V ? V ? V 0 )
• по второй строчке таблицы x1=1, х4=0 мы с вами видим что F = 1 (1 V ? V ? V 1 V ? V ? V ? V ? )
• по третьей строчке таблицы x4=1, х8=1 мы с вами видим что F возможно и может быть равным = 1, если хотя бы одна из оставшихся переменных будет равна 1 (? V ? V ? V 0 V ? V ? V ? V 0 )
  

Проверим выражение номер 3:

• по первой строчке таблицы x2=0, х8=1 мы с вами видим что F=0 (? /\ 0 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 1 )
• по второй строчке таблицы x1=1, х4=0 мы с вами видим что F =0 (0 /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ ? ), а в таблице у нас F=1, и это значит, что выражение под номером три нам ТОЧНО НЕ ПОДХОДИТ .

Проверим выражение номер 4:

• по первой строчке таблицы x2=0, х8=1 мы с вами видим что F=1 (? V 1 V ? V ? V ? V ? V ? V 0 ), а в таблице у нас F=0, и это значит, что выражение под номером четыре нам ТОЧНО НЕ ПОДХОДИТ .

В решении задания на едином государственном экзамене вам нужно поступать точно таким же образом: отбрасывать те варианты, которые точно не подходят по тем данным, которые есть в таблице. Оставшийся возможный вариант (как в нашем случае вариант номер 2) и будет правильным ответом.

Все категории задания Сопоставление столбцов и переменных в таблице истинности

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

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

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

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

?	?	?	?	F
0		0		0
		0	0	0
	0	0	0	0

3) Логическая функция F задаётся выражением (x ∨ y) ∧ ¬z ∧ ¬(z ≡ x) . На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.

?	?	?	F
0		0	1
		0	1

4) Логическая функция F задаётся выражением (y → x) ∧ (z → y). На рисунке приведён фрагмент таблицы истинности функции F. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.

?	?	?	F
1	0	1	0
0	0	1	1

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

5) Логическая функция F задаётся выражением x ∧ ¬w ∧ (y ∨ ¬z). На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

?	?	?	?	F
0	0	0	1	1
0	1	0	1	1
0	1	1	1	1

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

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

?	?	?	F
0	0	0	0
0	0	1	0
0	1	0	1
0	1	1	0
1	0	0	1
1	0	1	1
1	1	0	1
1	1	1	1

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

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

				F
0		0	1	0
	0		1	0
0	1	1		0

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

8) Логическая функция F задаётся выражением w ∨ (x → y ∧ ¬z) . На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

?	?	?	?	F
		1	0	0
0			1	0
1		1		0

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

9) Логическая функция F задаётся выражением (x ∧ ¬y) ∨ (y ≡ z) ∨ w. На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

?	?	?	?	F
			1	0
1				0
1	1			0

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

10) Логическая функция F задаётся выражением ¬w ∨ (x ∨ ¬z) ∧ (¬x ∨ ¬y ∨ z). На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F ложна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

?	?	?	?	F
1	1	0	1	0
1	0	1	0	0
1	0	1	1	0

11) Логическая функция F задаётся выражением (¬x ∨ y ∨ z) ∧ (x ∨ ¬y ∨ ¬w). На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F ложна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

?	?	?	?	F
0	0	0	1	0
0	1	0	1	0
0	1	1	0	0
1	1	1	0	0

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

12) Логическая функция F задаётся выражением ¬y ∨ x ∨ (¬z ∧ w). На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F ложна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

?	?	?	?	F
0	0	0	1	0
0	0	1	1	0
0	1	1	1	0

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

13) Логическая функция F задаётся выражением ¬x ∧ y ∧ (w → z). На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

?	?	?	?	F
1	0	0	0	1
1	0	1	0	1
1	1	1	0	1

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

14) Логическая функция F задаётся выражением x ∧ ¬y ∧ (¬z ∨ w).

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

?	?	?	?	F
1	0	0	0	1
1	0	1	0	1
1	0	1	1	1

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

15) Логическая функция F задаётся выражением ¬x ∨ y ∨ (¬z ∧ w).

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

?	?	?	?	F
1	0	0	0	0
1	1	0	0	0
1	1	1	0	0

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

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

?	?	?	F
0	0	0	0
0	0	1	0
0	1	0	1
0	1	1	1
1	0	0	1
1	0	1	0
1	1	0	1
1	1	1	0

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

17) Логическая функция F задаётся выражением (a ∧ ¬c) ∨ (¬b ∧ ¬c). Определите какому столбцу таблицы истинности функции F соответсвует каждая из переменных a, b, c?

?	?	?	F
0	0	0	1
0	0	1	0
0	1	0	0
0	1	1	0
1	0	0	1
1	0	1	0
1	1	0	1
1	1	1	0

18) Логическая функция F задаётся выражением (a ∧ ¬c) ∨ (¬a ∧ b ∧ c). Определите какому столбцу таблицы истинности функции F соответсвует каждая из переменных a, b, c?

?	?	?	F
0	0	0	0
0	0	1	0
0	1	0	1
0	1	1	1
1	0	0	0
1	0	1	1
1	1	0	0
1	1	1	0

В ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы, никаких разделителей между буквами ставить не нужно.

19) Логическая функция F задаётся выражением (a ∧ b) ∨ (a ∧¬c). Определите какому столбцу таблицы истинности функции F соответсвует каждая из переменных a, b, c?

?	?	?	F
0	0	0	0
0	0	1	0
0	1	0	1
0	1	1	0
1	0	0	0
1	0	1	0
1	1	0	1
1	1	1	1

В ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы, никаких разделителей между буквами ставить не нужно.

Давайте сначала определимся с тем, что у нас есть в задаче:

• логическая функция F, заданная некоторым выражением. Элементы таблицы истинности этой функции также представлены в задаче в виде таблицы. Таким образом, при подстановке конкретных значений x, y, z из таблицы в выражение результат должен совпасть с тем, который дан в таблицы (см. пояснение ниже).
• Переменные x, y, z и три столбца, которые им соответствуют. При этом мы в этой задаче не знаем, какой столбец какой переменной соответствует. То есть, в столбце Перем. 1 может быть как x, так и y или z.
• Нас просят как раз определить, какой столбец какой переменной соответствует.

Рассмотрим пример.

Решение

1. Вернёмся теперь к решению. Давайте внимательно посмотрим на формулу: \((\neg z) \wedge x \vee x\wedge y\)
2. В ней имеется две конструкции с конъюнкцией, соединённые дизъюнкцией. Как известно, чаще всего дизъюнкция истинна (для этого достаточно, чтобы одно из слагаемых было истинным).
3. Давайте рассмотрим тогда внимательно строчки, где выражение F — ложно.
4. Первая строчка нам неинтересна, так как в ней не определить, где что (все значения одинаковы).
5. Рассмотрим тогда предпоследнюю строчку, в ней больше всего 1, но результат равен 0.
6. Может ли z быть в третьем столбце? Нет, так как в этом случае в формуле будут везде 1, а, следовательно, и результат будет равняться 1, но согласно таблице истинности значение F в этой строке равно 0. Следовательно, z не может быть Перем. 3.
7. Аналогично для предыдущей строки имеем, что z не может быть Перем. 2.
8. Следовательно, z — это Перем. 1 .
9. Зная, что z — в первом столбце, рассмотрим третью строчку. Может ли x быть во втором столбце? Подставим значения:
   \((\neg z) \wedge x \vee x\wedge y = \\ = (\neg 0) \wedge 1 \vee 1\wedge 0 = \\ = 1 \wedge 1 \vee 0 = \\ = 1 \vee 0 = 1\)
10. Однако, согласно таблице истинности, результат должен равняться 0.
11. Следовательно, х не может быть Перем. 2 .
12. Следовательно, x — это Перем. 3 .
13. Следовательно, по методу исключения, y — это Перем. 2 .
14. Таким образом, ответ звучит следующим образом: zyx (z — Перем. 1, y — Перем. 2, x — Перем. 3).​