Логическая функция задается выражением как решать. Логика и истинные наборы

Демонстрационный вариант ЕГЭ 2019 г. – задание № 2

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

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

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

(¬x ¬y)+(y≡z)+¬w=0

w=1 w должно быть истинным; w — последний

y и z должны быть разными, поэтому перед последним, это x. первые два y и z или z и y.

y и x не могут быть ложными одновременно.первый — z.

Ответ: zyxw

Демонстрационный вариант ЕГЭ 2018 г. – задание № 2

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

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

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

Ответ: xzwy

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

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

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

В ответе напишите буквы w , x , y , z в том порядке, в котором идут

соответствующие им столбцы (сначала – буква, соответствующая первому

столбцу; затем – буква, соответствующая второму столбцу, и т.д.) Буквы

в ответе пишите подряд, никаких разделителей между буквами ставить

не нужно.

Демонстрационный вариант ЕГЭ 2017 г. – задание№2

Решение:

Конъюнкция (логическое умножение) истинна тогда и только тогда, когда истинны все высказывания. Следовательно переменной х 1 .

Переменной ¬y должен соответствовать тот столбец, в котором все значения равны 0 .

Дизъюнкция (логическое сложение) двух высказываний истинна тогда и только тогда, когда истинно хотя бы одно высказывание.
Дизъюнкция ¬z \/ y z=0 , w=1 .

Таким образом, переменной ¬z w соответствует столбец с переменной 4 (4 столбец).

Ответ: zyxw

Демонстрационный вариант ЕГЭ 2016 г. – задание№2

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

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

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

Тогда 1-му столбцу соответствует переменная y, а 2-му столбцу
соответствует переменная x. В ответе нужно написать: yx.

Решение:

1. Запишем заданное выражение в более простых обозначениях:

¬z*x + x*y = x*(¬z + y)

2. Конъюнкция (логическое умножение) истинна тогда и только тогда, когда истинны все высказывания. Следовательно, чтобы функция (F ) была равна единице (1 ), нужно, чтобы каждый множитель был равен единице (1 ). Таким образом, при F = 1 , переменной х должен соответствовать тот столбец, в котором все значения равны 1 .

3. Рассмотрим (¬z + y) , при F = 1 данное выражение также равно 1(см. пункт 2).

4. Дизъюнкция (логическое сложение) двух высказываний истинна тогда и только тогда, когда истинно хотя бы одно высказывание.
Дизъюнкция ¬z \/ y в данной строке будет истинна только если

z = 0; y = 0 или y = 1;
z = 1; y = 1

5. Таким образом, переменной ¬z соответствует столбец с переменной 1 (1 столбец), переменной y

Ответ: zyx

КИМ ЕГЭ 2016 (досрочный период) – задание№2

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

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

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

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

Решение:

Запишем заданное выражение в более простых обозначениях:

(x*y*¬z) + (x*y*z) + (x*¬y*¬z)=1

Это выражение истинно тогда, когда хотя бы один из (x*y*¬z) , (x*y*z) , (x*¬y*¬z) равняется 1. Конъюнкция (логическое умножение) истинна тогда и только тогда, когда истинны все высказывания.

Хотя бы одна из этих дизъюнкции x*y*¬z; x*y*z; x*¬y*¬z будет истинна только если х=1 .

Таким образом, переменной х соответствует столбец с переменной 2 (2 столбец).

Пусть y- перем.1, z- прем.3. Тогда, в первом случае x*¬y*¬z будет истинна, во втором случае x*y*¬z , а в третьем x*y*z.

Ответ: yxz

Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

X	Y	Z	F
0	0	0	0
1	0	1	1
0	1	0	1

1) X ∧ Y ∧ Z 2) ¬X ∨ Y ∨¬Z 3) X ∧ Y ∨ Z 4) X ∨ Y ∧ ¬Z

Решение:

1) X ∧ Y ∧ Z = 1.0.1 = 0 (не соответствует на 2-й строке)

2) ¬X ∨ Y ∨¬Z = ¬0 ∨ 0 ∨ ¬0 = 1+0+1 = 1 (не соответствует на 1-й строке)

3) X ∧ Y ∨ Z = 0.1+0 = 0 (не соответствует на 3-й строке)

4) X ∨ Y ∧ ¬Z (соответствует F)

X ∨ Y ∧ ¬Z = 0 ∨ 0 ∧ ¬0 = 0+0.1 = 0

X ∨ Y ∧ ¬Z = 1 ∨ 0 ∧ ¬1 = 1+0.0 = 1

X ∨ Y ∧ ¬Z = 0 ∨ 1 ∧ ¬0 = 0+1.1 = 1

Ответ: 4

Дан фрагмент таблицы истинности выражения F. Какое выражение соответствует F?

A	B	C	F
0	1	1	1
1	0	0	0
1	0	1	1

1) (A → ¬B) ∨ C 2) (¬A ∨ B) ∧ C 3) (A ∧ B) → C 4) (A ∨ B) → C

Решение:

1) (A → ¬B) ∨ C = (1 → ¬0) ∨ 0 = (1 → 1) + 0 = 1 + 0 = 1 (не соответствует на 2-й строке)

2) (¬A ∨ B) ∧ C = (¬1 ∨ 0) ∧ 1 = (0+0).1 = 0 (не соответствует на 3-й строке)

3) (A ∧ B) → C = (1 ∧ 0) → 0 = 0 → 0 = 1 (не соответствует на 2-й строке)

4) (A ∨ B) → C (соответствует F )

(A ∨ B) → C = (0 ∨ 1) → 1 = 1

(A ∨ B) → C = (1 ∨ 0) → 0 = 0

(A ∨ B) → C = (1 ∨ 0) → 1 = 1

Ответ: 4

Дано логическое выражение, зависящее от 6 логических переменных:

X1 ∨ ¬X2 ∨ X3 ∨ ¬X4 ∨ X5 ∨ X6

Сколько существует различных наборов значений переменных, при которых выражение истинно?

1) 1 2) 2 3) 63 4) 64

Решение:

Ложное выражение только в 1 случае: X1=0, X2=1, X3=0, X4=1, X5=0, X6=0

X1 ∨ ¬X2 ∨ X3 ∨ ¬X4 ∨ X5 ∨ X6 = 0 ∨ ¬1 ∨ 0 ∨ ¬1 ∨ 0 ∨ 0 = 0

Всего вариантов 2 6 =64, значит истинных

Ответ: 63

Дан фрагмент таблицы истинности выражения F.

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

Какое выражение соответствует F?

1) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6 ∨ ¬x7
2) x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ x7
3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7
4) x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7

Решение:

1) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 = 0 + 1 + … = 1 (не соответствует на 1-й строке)

2) x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ x7 = 0 + 0 + 0 + 0 + 0 + 1 + 0 = 1 (не соответствует на 1-й строке)

3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7 = 1.0. …= 0 (не соответствует на 2-й строке)

4) x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 (соответствует F)

x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 = 1.1.1.1.1.1.1 = 1

x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 = 0. … = 0

Ответ: 4

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

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

1) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ ¬x8
2) ¬x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ x8
3) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ ¬x6 ∧ ¬x7 ∧ ¬x8
4) ¬x1 ∨ ¬x2 ∨ ¬x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ ¬x8

Решение:

1) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ ¬x8 = x1 . ¬x2 . 0 . … = 0 (не соответствует на 1-й строке)

2) ¬x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ x8 (соответствует F)

3) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ ¬x6 ∧ ¬x7 ∧ ¬x8 = … ¬x7 ∧ ¬x8 = … ¬1 ∧ ¬x8 = … 0 ∧ ¬x8 = 0 (не соответствует на 1-й строке)

4) ¬x1 ∨ ¬x2 ∨ ¬x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ ¬x8 = ¬x1 ∨ ¬x2 ∨ ¬x3 … = ¬1 ∨ ¬x2 ∨ ¬0 .. = 1 (не соответствует на 2-й строке)

Ответ: 2

Дан фрагмент таблицы истинности для выражения F:

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

Укажите минимально возможное число различных строк полной таблицы истинности этого выражения, в которых значение x5 совпадает с F.

Решение:

Минимально возможное число различных строк, в которых значение x5 совпадает с F = 4

Ответ: 4

Дан фрагмент таблицы истинности для выражения F:

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

Укажите максимально возможное число различных строк полной таблицы истинности этого выражения, в которых значение x6 не совпадает с F.

Решение:

Максимально возможное число = 2 8 = 256

Максимально возможное число различных строк, в которых значение x6 не совпадает с F = 256 — 5 = 251

Ответ: 251

Дан фрагмент таблицы истинности для выражения F:

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

Укажите максимально возможное число различных строк полной таблицы истинности этого выражения, в которых значение ¬x5 ∨ x1 совпадает с F.

Решение:

1+0=1 — не совпадает с F

0+0=0 — не совпадает с F

0+1=1 — совпадает с F

1+0=1 — совпадает с F

2 7 = 128 — 3 = 125

Ответ: 125

Каждое логическое выражение A и B зависит от одного и того же набора из 6 переменных. В таблицах истинности каждого из этих выражений в столбце значений стоит ровно по 4 единицы. Каково минимально возможное число единиц в столбце значений таблицы истинности выражения A ∨ B?

Решение:

Ответ: 4

Каждое логическое выражение A и B зависит от одного и того же набора из 7 переменных. В таблицах истинности каждого из этих выражений в столбце значений стоит ровно по 4 единицы. Каково максимально возможное число единиц в столбце значений таблицы истинности выражения A ∨ B?

Решение:

Ответ: 8

Каждое логическое выражение A и B зависит от одного и того же набора из 8 переменных. В таблицах истинности каждого из этих выражений в столбце значений стоит ровно по 5 единиц. Каково минимально возможное число нулей в столбце значений таблицы истинности выражения A ∧ B?

Решение:

2 8 = 256 — 5 = 251

Ответ: 251

Каждое логическое выражение A и B зависит от одного и того же набора из 8 переменных. В таблицах истинности каждого из этих выражений в столбце значений стоит ровно по 6 единиц. Каково максимально возможное число нулей в столбце значений таблицы истинности выражения A ∧ B?

Решение:

Ответ: 256

Каждое из логических выражений A и B зависит от одного и того же набора из 5 переменных. В таблицах истинности обоих выражений нет ни одной совпадающей строки. Сколько единиц будет содержаться в столбце значений таблицы истинности выражения A ∧ B?

Решение:

В таблицах истинности обоих выражений нет ни одной совпадающей строки.

Ответ: 0

Каждое из логических выражений A и B зависит от одного и того же набора из 6 переменных. В таблицах истинности обоих выражений нет ни одной совпадающей строки. Сколько единиц будет содержаться в столбце значений таблицы истинности выражения A ∨ B?

Решение:

(a . ¬c) + (¬b . ¬c)

Когда с равно 1, F равна нулю так что последний столбец c.

Xтобы определить первый и второй столбцы, мы можем использовать значения из 3-го ряда.

(a . 1) + (¬b . 1) = 0

Ответ: abc

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

¬a. b

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

Исходя из того, что при a=0 и c=0, то F=0, и данных из второй строки, мы можем сделать вывод, что в третьем стоблце располагается b .

Ответ: cab

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

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

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

Решение:

x ∧ (¬y ∧ z ∧ ¬w ∨ y ∧ ¬z)

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

Исходя из того, что при x=0, то F=0, мы можем сделать вывод, что во втором столбце располагается x .

Ответ: wxzy

Каталог заданий.
Количество программ с обязательным этапом

Сортировка Основная Сначала простые Сначала сложные По популярности Сначала новые Сначала старые
Пройти тестирование по этим заданиям
Вернуться к каталогу заданий
Версия для печати и копирования в MS Word

Исполнитель А16 преобразует число, записанное на экране.

У исполнителя есть три команды, которым присвоены номера:

1. Прибавить 1

2. Прибавить 2

3. Умножить на 2

Первая из них увеличивает число на экране на 1, вторая увеличивает его на 2, третья умножает его на 2.

Программа для исполнителя А16 – это последовательность команд.

Сколько существует таких программ, которые исходное число 3 преобразуют в число 12 и при этом траектория вычислений программы содержит число 10?

Траектория вычислений программы - это последовательность результатов выполнения всех команд программы. Например, для программы 132 при исходном числе 7 траектория будет состоять из чисел 8, 16, 18.

Решение.

Искомое количество программ равно произведению количества программ, получающих из числа 3 число 10, на количество программ, получающих из числа 10 число 12.

Пусть R(n) - количество программ, которые число 3 преобразуют в число n, а P(n) - количество программ, которые число 10 преобразуют в число n.

Для всех n > 5 верны следующие соотношения:

1. Если n не делится на 2, то тогда R(n) = R(n - 1) + R(n - 2), так как существует два способа получения n - прибавлением единицы или прибавлением двойки. Аналогично P(n) = P(n - 1) + P(n - 2)

2. Если n делится на 2, тогда R(n) = R(n - 1) + R(n - 2) + R(n / 2). Аналогично P(n) = P(n - 1) + P(n - 2) + P(n / 2)

Последовательно вычислим значения R(n):

R(5) = R(4) + R(3) = 1 + 1 = 2

R(6) = R(5) + R(4) + R(3) = 2 + 1 + 1 = 4

R(7) = R(6) + R(5) = 4 + 2 = 6

R(8) = R(7) + R(6) + R(4) = 6 + 4 + 1 = 11

R(9) = R(8) + R(7) = 11 + 6 = 17

R(10) = R(9) + R(8) + R(5) = 17 + 11 + 2 = 30

Теперь вычислим значения P(n):

P(11) = P(10) = 1

P(12) = P(11) + P(10) = 2

Таким образом, количество программ, удовлетворяющих условию задачи, равно 30 · 2 = 60.

Ответ: 60.

Ответ: 60

Источник: Демонстрационная версия ЕГЭ-2017 по информатике.

1. Прибавить 1

2. Прибавить 3

Сколько существует программ, для которых при исходном числе 1 результатом является число 17 и при этом траектория вычислений содержит число 9? Траектория вычислений программы - это последовательность результатов выполнения всех команд программы. Например, для программы 121 при исходном числе 7 траектория будет состоять из чисел 8, 11, 12.

Решение.

Используем метод динамического программирования. заведем массив dp, где dp[i] - количество способов получить число i с помощью таких команд.

База динамики:

Формула перехода:

dp[i]=dp + dp

При этом не учитываются значения для чисел больше 9, которые можно получить из чисел меньше 9 (перескочив тем самым траекторию 9):

Ответ: 169.

Ответ: 169

Источник: Тренировочная работа по ИНФОРМАТИКЕ 11 класс 29 ноября 2016 года Вариант ИН10203

Исполнитель Май17 преобразует число на экране.

У исполнителя есть две команды, которым присвоены номера:

1. Прибавить 1

2. Прибавить 3

Первая команда увеличивает число на экране на 1, вторая увеличивает его на 3. Программа для исполнителя Май17 - это последовательность команд.

Сколько существует программ, для которых при исходном числе 1 результатом является число 15 и при этом траектория вычислений содержит число 8? Траектория вычислений программы – это последовательность результатов выполнения всех команд программы. Например, для программы 121 при исходном числе 7 траектория будет состоять из чисел 8, 11, 12.

Решение.

Используем метод динамического программирования. Заведем массив dp, где dp[i] - количество способов получить число i с помощью таких команд.

База динамики:

Формула перехода:

dp[i]=dp + dp

Но при этом не учитываются такие числа, которые больше 8, но в них мы можем добраться из значения меньше 8. Далее будет приведены значения в ячейках dp от 1 до 15: 1 1 1 2 3 4 6 9 9 9 18 27 36 54 81.

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

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

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

Решение

Вернёмся теперь к решению. Давайте внимательно посмотрим на формулу: \((\neg z) \wedge x \vee x\wedge y\)
В ней имеется две конструкции с конъюнкцией, соединённые дизъюнкцией. Как известно, чаще всего дизъюнкция истинна (для этого достаточно, чтобы одно из слагаемых было истинным).
Давайте рассмотрим тогда внимательно строчки, где выражение F — ложно.
Первая строчка нам неинтересна, так как в ней не определить, где что (все значения одинаковы).
Рассмотрим тогда предпоследнюю строчку, в ней больше всего 1, но результат равен 0.
Может ли z быть в третьем столбце? Нет, так как в этом случае в формуле будут везде 1, а, следовательно, и результат будет равняться 1, но согласно таблице истинности значение F в этой строке равно 0. Следовательно, z не может быть Перем. 3.
Аналогично для предыдущей строки имеем, что z не может быть Перем. 2.
Следовательно, z — это Перем. 1 .
Зная, что 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\)
Однако, согласно таблице истинности, результат должен равняться 0.
Следовательно, х не может быть Перем. 2 .
Следовательно, x — это Перем. 3 .
Следовательно, по методу исключения, y — это Перем. 2 .
Таким образом, ответ звучит следующим образом: zyx (z — Перем. 1, y — Перем. 2, x — Перем. 3).

Основано на: демонстрационных вариантах ЕГЭ по информатике за 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/\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).

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

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

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

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

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

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

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

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

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

Решение

Логическая функция 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).

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

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

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

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

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

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

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

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

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

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

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

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

Решение

¬((¬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)).

Решение

Логическая функция 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)).

Решение

Логическая функция 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 единиц.