Как решать 2 задание егэ информатика через excel

Обновлено: 06.07.2024

В предстоящем ЕГЭ не появилось никаких изменений по сравнению с прошлым годом.

Возможно, вам также будут интересны демоверсии ЕГЭ по математике и физике.

О нововведениях в экзаменационных вариантах по другим предметам читайте в наших новостях.

ЕГЭ-2020. Информатика. Тематические тренировочные задания Пособие содержит задания, максимально приближенные к реальным, используемым на ЕГЭ, но распределенные по темам в порядке их изучения в 10-11-х классах старшей школы. Работая с книгой, можно последовательно отработать каждую тему, устранить пробелы в знаниях, а также систематизировать изучаемый материал. Такая структура книги поможет эффективнее подготовиться к ЕГЭ.

Демо-КИМ ЕГЭ-2019 по информатике не претерпел никаких изменений по своей структуре по сравнению с 2018 годом. Это значимо упрощает работу педагога и, конечно, уже выстроенный (хочется на это рассчитывать) план подготовки к экзамену обучающегося.

Мы рассмотрим решение предлагаемого проекта (на момент написания статьи – пока еще ПРОЕКТА) КИМ ЕГЭ по информатике.

Часть 1

Задание 2

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

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

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

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

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

¬x \/ y

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

Решение

Давайте заметим, что функция (¬x /\ ¬y) \/ (y≡z) \/ ¬w, по сути, дизъюнкция трех «слагаемых»:

Вспоминаем таблицу истинности операции логического «сложения» (дизъюнкции): в сумме «истина», если хотя бы одно слагаемое «истина», и «ложь», если оба слагаемых «ложь». Значит, из условия задания делаем вывод о том, что каждое из слагаемых должно быть ложным. Третье слагаемое – (¬w) – оно должно быть ложным, что дает нам первую зацепку: четвертый столбец должен быть переменной w, поскольку, исходя из значений первого, второго и третьего столбцов, ни один из них не может быть переменной w.

Рассмотрим второе слагаемое функции – (y≡z), – оно также должно быть равно 0. Следовательно, необходимо, чтобы в наших столбцах переменных y и z были разные значения. С учетом первого слагаемого функции (¬x /\ ¬y), заметим, что переменной z соответствует первый столбец. Еще первое слагаемое указывает на то, что в пустых ячейках второго и третьего столбцов должны быть 1. Тут же, с учетом второго слагаемого, сделаем еще одно заключение о том, что пустая ячейка в первом столбце равна 1. Именно этот вывод позволяет нам сделать окончательное заключение о том, что второй столбец соответствует переменной y, и, соответственно, третий – переменной x.

Ответ: zyxw.

Заместитель генерального директора по ИКТ АНОО «Дом знаний», преподаватель по программированию Яндекс.Лицея (ДГУНХ, Махачкала), учитель высшей категории, финалист Всероссийского конкурса «Учитель года России 2010»

Проверяемые элементы содержания: Умение строить таблицы истинности и логические схемы

Типичные ошибки и рекомендации по их предотвращению:

"Игнорирование прямо указанного в условии задания требования, что заполненная таблица истинности не должна содержать одинаковых строк. Это приводит к внешне правдоподобному, но на самом деле неверному решению"

ФГБНУ "Федеральный институт педагогических измерений"

Таблицы истинности и порядок выполнения логических операций

Для логических операций приняты следующие обозначения:

Таблица истинности операции НЕ

Таблица истинности операции И (конъюнкция)

Таблица истинности операции ИЛИ (дизъюнкция)

если нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», импликация, равносильность

логическое произведение X∙Y∙Z∙… равно 1, т.е. выражение является истинным, только тогда, когда все сомножители равны 1 (а в остальных случаях равно 0)
логическая сумма X+Y+Z+… равна 0, т.е. выражение является ложным только тогда, когда все слагаемые равны 0 (а в остальных случаях равна 1)

О преобразованиях логических операций читайте здесь.

Решение заданий 2 ЕГЭ по информатике

Плейлист видеоразборов задания на YouTube:

Задание 2_11: Решение 2 задания ЕГЭ по информатике (Задание № 169 К. Поляков):

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

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

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

Перем.1	Перем.2	Перем.3	Перем.4	F
.	.	.	.	F
0	1	1	0	0
0	1	1	1	0
1	0	0	0	0
1	1	0	0	0

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

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(x) or y or z) and (x or not(z) or not(w)) if not(F): print(x, y, z, w)

begin writeln('x':7, 'y':7, 'z':7,'w':7); for var x:=false to true do for var y:=false to true do for var z:=false to true do for var w:=false to true do if not((not x or y or z) and (x or not z or not w)) then writeln(x:7, y:7, z:7,w:7); end.

Ответ:

Результат: xwzy

Задание 2_12: Разбор 2 задания ЕГЭ вариант № 4, 2019 Информатика и ИКТ Типовые экзаменационные варианты (10 вариантов), С.С. Крылов, Т.Е. Чуркина:

Миша заполнял таблицу истинности функции:

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

Перем.1	Перем.2	Перем.3	Перем.4	F
.	.	.	.	F
1	1	0
1	0	0
1	1	0	0

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

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

Решим задание методом построения полной таблицы истинности.
Посчитаем общее количество строк в таблице истинности и построим ее:

Результат: ywxz

begin writeln('x':7, 'y':7, 'z':7,'w':7); for var x:=false to true do for var y:=false to true do for var z:=false to true do for var w:=false to true do if not((not z and (x xor y)) <= not(y or w)) then writeln(x:7, y:7, z:7,w:7); end.

Сопоставив их с исходной таблицей, получим результат: ywxz

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 z and not(x==y))<=(not(y or w)) if not F: print (x,y,z,w)

Результат: ywxz

Задание 2_10: Решение 2 задания ЕГЭ по информатике (диагностический вариант экзаменационной работы 2018 года, С.С. Крылов, Д.М. Ушаков):

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

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

Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c, d.

Перем.1	Перем.2	Перем.3	Перем.4	F
.	.	.	.	F
0	1	0	0	1
1	1	0	0	1
1	1	0	1	1

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

Результат: cbad

Задание 2_3: Решение задания 2. Демоверсия ЕГЭ 2018 информатика:

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

Перем. 1	Перем. 2	Перем. 3	Перем. 4	F
.	.	.	.	F
1	0	0	0	0
1	1	0	0	0
1	1	1	0	0

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

Результат: xzwy

begin writeln('x ','y ','z ','w '); for var x:=false to true do for var y:=false to true do for var z:=false to true do for var w:=false to true do if not(not x or y or(not z and w)) then writeln(x:7,y:7,z:7,w:7); end.

Задание 2_13: Разбор досрочного егэ по информатике 2019

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

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

Перем.1	Перем.2	Перем.3	Перем.4	F
.	.	.	.	F
0	0	0
0	1	0	1	0
1	0	0

Результат: xwzy

Задания для тренировки

Задание 2_2: Задание 2 ЕГЭ по информатике 2017 ФИПИ вариант 11 (Крылов С.С., Чуркина Т.Е.):

Каждое из логических выражений F и G содержит 5 переменных. В табл. истинности для F и G есть ровно 5 одинаковых строк, причем ровно в 4 из них в столбце значений стоит 1.

Сколько строк таблицы истинности для F ∨ G содержит 1 в столбце значений?

Результат: 31

Подробное объяснение данного задания смотрите на видео:

Задание 2_6: Решение 2 задания ЕГЭ по информатике (К. Поляков, вариант 89):

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

Каково максимально возможное число единиц в столбце значений таблицы истинности выражения A ∨ B?

Результат: 8

Задание 2_7: Решение 2 задания ЕГЭ по информатике (К. Поляков, вариант 91):

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

Каково максимально возможное число нулей в столбце значений таблицы истинности выражения A ∧ B?

Результат: 256

Задание 2_4: 2 задание. ГВЭ 11 класс по информатике 2018 (ФИПИ):

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

x1	x2	x3	x4	x5	x6	x7	F
1	0	0	1	1	1	1	0
0	1	0	0	1	0	1	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

Решение 2 задания ГВЭ по информатике смотрите на видео:

Задание 2_8: Решение 2 задания ЕГЭ по информатике (К. Поляков, вариант 58):

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

(¬x1 ∨ ¬x2 ∨ ¬x3 ∨ x4 ∨ x5) ∧ (x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5)

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

Теперь рассмотрим каждый случай отдельно:

¬x1 ∨ ¬x2 ∨ ¬x3 ∨ x4 ∨ x5 = 0
и
x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 = 0.

Результат: 2

Подробное решение задания смотрите в видеоуроке:

Задание 2_5: Решение 2 задания ЕГЭ по информатике (К. Поляков, вариант 76):

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

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

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

Полная таблица истинности будет иметь 2 6 = 64 строк (т.к. 6 переменных).
4 из них нам известны: в них x3 два раза не совпадает с F.
Неизвестных строк:
В неизвестных x3 может не совпадать с F, кроме того, в двух известных x3 не совпадает с F. Соответственно максимально возможное число строк с несовпадающими x3 и F, будет:

Результат: 62

Задание 2_9: Решение 2 задания ЕГЭ по информатике (К. Поляков вариант 112):

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

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

Каким выражением может быть 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

Рассмотрим отдельно каждый пункт и найдем последнюю операцию, которая должна быть выполнена (внешнюю).

Результат: 4

В видеоуроке рассмотрено подробное решение 2 задания:

Задание 2_1: Задание 2 ЕГЭ по информатике 2017 ФИПИ вариант 6 (Крылов С.С., Чуркина Т.Е.):

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

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

№	Перем. 1	Перем. 2	Перем. 3	F
.	.	.	F
1	0	0	0	0
2	0	0	1	0
3	0	1	0	1
4	0	1	1	1
5	1	0	0	0
6	1	0	1	0
7	1	1	0	0
8	1	1	1	1

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

Результат: yzx

Детальный разбор данного задания 2 ЕГЭ по информатике предлагаем посмотреть в видео:

В компьютере вся информация представлена в двоичной системе счисления, в которой используется две цифры – 0 и 1. Собственно, и цифр как таковых у компьютера нет, а есть электрический сигнал, проходящий по электронным схемам и соединительным проводникам (шинам) компьютера, который может принимать значения “высокий уровень электрического напряжения” (принимаемый нами за 1) и “низкий уровень электрического напряжения” (принимаемый за 0). Для различных действий над этими нулями и единичками нам необходимы специальные операции, которые работают с двоичными переменными. Такие операции называются логическими операциями.

Логические операции и их аргументы принимают только два значения: 1 (“истина”) и 0 (“ложь”).

Таблица истинности выражения определяет его значения при всех возможных комбинациях исходных данных.

Количество строк в таблице истинности выражения от N переменных равно 2 N .

Основные логические операции:

1). Логическое умножение (конъюнкция, логическое И). Обозначается: AND, &, /\.

А&В

2). Логическое сложение (дизъюнкция, логическое ИЛИ). Обозначается: OR, |, \/.

A \/ B

3). Логическое отрицание (инверсия, логическое НЕ). Обозначается: NOT, ¬, .

¬ А

4). Логическое следование (импликация). Обозначается: →.

A → B

5). Логическое равенство (эквивалентность). Обозначается: ↔,

Порядок (приоритет) выполнения логических операций:

Если в выражении нет скобок, то операции выполняются в следующем порядке:

- Логическое отрицание (инверсия, логическое НЕ);

- Логическое умножение (конъюнкция, логическое И);

- Логическое сложение (дизъюнкция, логическое ИЛИ);

- Логическое следование (импликация);

- Логическое равенство (эквивалентность).

Выбор выражения по таблице истинности

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

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

1) (x1 ∧ x2) ∨ (x3 ∧ x4) ∨ (x5 ∧ x6)

2) (x1 ∧ x3) ∨ (x3 ∧ x5) ∨ (x5 ∧ x1)

3) (x2 ∧ x4) ∨ (x4 ∧ x6) ∨ (x6 ∧ x2)

4) (x1 ∧ x4) ∨ (x2 ∧ x5) ∨ (x3 ∧ x6)

Все представленные варианты ответа — дизъюнкции трёх конъюнкций. Все значения F в таблице равны нулю. Дизъюнкция равна нулю, когда все слагаемые равны нулю.

Рассмотри поочерёдно все четыре выражения.

1) В первой строке таблицы x1=1 и x2=1, значит x1∧x2=1. Выражение не подходит.

2) Во второй строке таблицы x1=1 и x3=1, значит x1∧x3=1. Выражение не подходит.

3) Подставим в третье выражение поочередно значения всех строк таблицы:

(x2 ∧ x4) ∨ (x4 ∧ x6) ∨ (x6 ∧ x2) = (1 ∧ 0) ∨ (0 ∧ 0) ∨ (0 ∧ 1) = 0 ∨ 0 ∨ 0 = 0

(x2 ∧ x4) ∨ (x4 ∧ x6) ∨ (x6 ∧ x2) = (0 ∧ 0) ∨ (0 ∧ 1) ∨ (1 ∧ 0) = 0 ∨ 0 ∨ 0 = 0

(x2 ∧ x4) ∨ (x4 ∧ x6) ∨ (x6 ∧ x2) = (0 ∧ 1) ∨ (1 ∧ 0) ∨ (0 ∧ 0) = 0 ∨ 0 ∨ 0 = 0

4) В третьей строке таблицы x1=1 и x4=1, значит x1∧x4=1. Выражение не подходит.

Для таблицы истинности функции F известны значения только некоторых ячеек:

Каким выражением может быть 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) Выражение является конъюнкцией переменных и их отрицаний. Конъюнкция равна единице, когда все операнды равны единице. В первой строке x6 = 0, а значит и все выражение F равно нулю, что не соответствует таблице истинности.

2) Выражение является дизъюнкцией переменных и их отрицаний. Дизъюнкция равна единице, когда хотя бы один операнд равен единице. Подставим во второе выражение поочередно значения всех строк таблицы:

x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 = x1 ∨ ¬x2 ∨ x3 ∨ 0 ∨ ¬x5 ∨ 0 ∨ ¬x7 может принимать значение 1, если хотя бы один из операндов равен 1.

x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 = x1 ∨ ¬x2 ∨ x3 ∨ 1 ∨ ¬x5 ∨ x6 ∨ 1 = 1

x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 = 0 ∨ ¬x2 ∨ x3 ∨ 0 ∨ ¬x5 ∨ x6 ∨ ¬x7 может принимать значение 0, если все остальные операнды равны 0.

3) Выражение является конъюнкцией переменных и их отрицаний. Конъюнкция равна единице, когда все операнды равны единице. Во второй строке x4 = 0, а значит и все выражение F равно нулю, что не соответствует таблице истинности.

4) Выражение является дизъюнкцией переменных и их отрицаний. Дизъюнкция равна единице, когда хотя бы один операнд равен единице. В третьей строке x4 = 1, значит и все выражение F равно 1, что не соответствует таблице истинности.

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

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

Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.

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

Переменная 1	Переменная 2	Переменная 3	Функция
.	.	.	F
0	0	0
0	0

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

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

Переменная 1	Переменная 2	Функция
.	.	F
0	1	0

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

Данная импликация принимает значение 0 тогда и только тогда, когда

Пусть x = 0, тогда y = z = 1. В первой строке нет двух единиц, значит, x = 1, и эта переменная находится в первом столбце. Тогда первая строка имеет вид 1 0 0.

Вторая строка должна отличаться от первой, поэтому она имеет вид 1 0 1. Рассмотрим два варианта:

x	y	z
1	0	0
1	0	1

x	z	y
1	0	0
1	0	1

Первый вариант не удовлетворяет системе (*), а второй удовлетворяет.

Приведем другое решение.

Составим таблицу истинности для выражения (x ∨ y) → (z ≡ x) и выпишем те наборы переменных, при которых данное выражение равно 0. В наборах переменные запишем в порядке х, y, z. Получим следующие наборы:

Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.

Второй столбец таблицы может соответствовать только переменной z, поскольку переменная y принимает нулевое значение только в одном наборе. Тогда третий столбец соответствует переменной y.

Источник: СтатГрад: Тренировочная работа 28.11.2017 ИН10203

Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.

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

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

Данная импликация принимает значение 0 тогда и только тогда, когда

Пусть . Исходя из системы (*), , тогда . В первой строке нет единицы, значит, переменная x находится в третьем столбце. Тогда первая строка имеет вид 0 0 1.

Вторая строка должна отличаться от первой, поэтому она имеет вид 1 0 1. Рассмотрим два варианта:

y	z	x
0	0	1
1	0	1

z	y	x
0	0	1
1	0	1

Второй вариант не удовлетворяет системе (*), а первый удовлетворяет.

Приведем другое решение.

Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.

Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.

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

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

Данная импликация принимает значение 0 тогда и только тогда, когда

Пусть . Исходя из системы (*), , тогда . В первой строке нет нуля, значит, переменная x находится в первом столбце. Тогда первая строка имеет вид 0 1 1.

Вторая строка должна отличаться от первой, поэтому она имеет вид 0 0 1. Рассмотрим два варианта:

x	y	z
0	1	1
0	0	1

x	z	y
0	1	1
0	0	1

Первый вариант не удовлетворяет системе (*), а второй удовлетворяет.

Приведем другое решение.

Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.

В обоих наборах переменная x принимает значение 0, значит, ей может соответствовать только первый столбец таблицы. Переменная z принимает значение 1 только в одном наборе, значит, ей может соответствовать только второй столбец таблицы, тогда третий столбец соответствует переменной у.

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

Перем.1	Перем.2	Перем.3	Перем.4
.	.	.	.
0
1	0	0
1	0	0

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

Рассмотрим данное выражение. Преобразуем логическое выражение (x ∧ ¬y) ∨ (y ≡ z) ∨ ¬w и получим систему, при которой оно ложно:

Cразу видно, что первый столбец это w, поскольку w всегда должна равняться единице. Также, ясно, что x это переменная 4, так как . Из первого выражения x ∧ ¬y и последней строчке таблицы видно, что переменная 3 это y, а вторая переменная это z.

Рассмотрим, как будет выглядеть полная таблица истинности. Переменная w всегда должна принимать значение 1, поэтому в первом столбце во всех строках будет стоять единица. Исходя из условия можно заключить, что во втором столбце в последней строке будет стоять единица, и в первых двух строках третьего столбца тоже будут стоять единицы. В первой четвёртого столбца должна стоять единица, поскольку строки в таблице истинности должны быть разными.

Перем. 1	Перем. 2	Перем. 3	Перем. 4
.	.	.	.
1	0	1	1
1	0	1	0
1	1	0	0

Вариант wyzx не подходит, поскольку в первой строке функция F окажется истинной.

Приведем другое решение.

Составим таблицу истинности функции F и выпишем наборы переменных, при которых функция ложна. Для удобства обозначим эти наборы буквами:

А: (х=0, y=0, z=1, w=1)

Б: (х=0, y=1, z=0, w=1)

В: (х=1, y=1, z=0, w=1)

Заметим, что переменная w всегда должна быть равна 1, поэтому ей соответствует первый столбец заданной таблицы.

Заметим, что вторая и третья строки заданной таблицы, содержащие по два нуля, соответствуют наборам переменных А или Б, тогда первая строка соответствует набору В. Значит, в первой строке z=0, а все остальные переменные равны 1, и переменной z соответствует второй столбец заданной таблицы.

Тогда вторая строка заданной таблицы, в которой переменная z также равна 0, соответствует набору Б, в котором х=0, а остальные переменные равны 1, поэтому переменной х соответствует четвертый столбец таблицы.

Читайте также: