Неповторяющиеся строки таблицы истинности что это

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

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

Переменная 1	Переменная 2	Переменная 3	Переменная 4	Функция

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

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

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

Первая строка таблицы может соответствовать только набору (1, 1, 0, 1), следовательно, переменная z соответствует первому столбцу и равна 0.

Рассмотрим вторую строку таблицы. Эта строка может соответствовать только набору (0, 0, 1, 1), поскольку только в этом наборе переменная z принимает значение 1. Следовательно, в ней z = 1 и w = 1. Тогда переменная w соответствует второму столбцу таблицы.

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

Источник

Неповторяющиеся строки таблицы истинности что это

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

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

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

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

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

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

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

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

Данная импликация принимает значение 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. Получим следующие наборы:

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

Первая строка таблицы может соответствовать только набору (1, 0, 0), следовательно, первый столбец таблицы соответствует переменной x, и в первом столбце первой строки стоит 1.

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

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

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

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

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

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

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

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

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

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

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

y	z	x
0	0	1
1	0	1

z	y	x
0	0	1
1	0	1

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

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

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

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

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

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

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

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

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

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

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

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

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

Переменная 1	Переменная 1	Функция

x	y	z
0	1	1
0	0	1

x	z	y
0	1	1
0	0	1

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

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

Составим таблицу истинности для выражения (x ≡ y ) ∨ ((y ∨ z) → x) и выпишем те наборы переменных, при которых данное выражение равно 0. В наборах переменные запишем в порядке х, y, z. Получим следующие наборы: (0, 1, 0), (0, 1, 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 и выпишем наборы переменных, при которых функция ложна. Для удобства обозначим эти наборы буквами:

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

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

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

Тогда переменной y соответствует третий столбец.

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

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

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

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

Переменная 1	Переменная 2	Переменная 3	Переменная 4	Функция

Заметим, что в каждом столбце, кроме третьего, как минимум в одной строке встречается 1. Часть логического выражения будет равна 0 только тогда, когда z будет принимать значение, отличное от x ∨ y. Если поставить в соответствие переменной z какой-либо столбец, кроме третьего, условие будет принимать значение 1 в какой-либо из строк таблицы. Следовательно, переменная z соответствует третьему столбцу.

Переменные y и w не должны одновременно принимать значение 1. Следовательно, переменной y соответствует первый столбец, а переменной w соответствует второй столбец. Значит, четвёртый столбец фрагмента таблицы истинности соответствует переменной x.

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

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

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

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

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

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

Тогда первый столбец соответствует переменной у.

Источник

Здравствуйте, дорогие друзья! Сегодня разберём, как решать второе задание из ЕГЭ по информатике 2020.

Во втором задании ЕГЭ по информатике у нас обычно есть логическая функция, которая зависит от логических переменных. Логические переменные могут принимать только два значения: 0 (Ложь) или 1 (Истина).

С логическими переменными можно производить логические операции. При решении второго задания из ЕГЭ по информатике необходимо твёрдо знать каждую логическую операцию, и давайте рассмотрим их.

Ещё соотношения:

Передём к решению задач из ЕГЭ по информатике

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

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

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

Отсюда видно, что переменная z должна всегда быть равна 1 (единице). Это первый столбец. Отрицание y тоже должно быть 1 (единицей), тогда просто y всегда будет 0 (нулём). Это второй столбец.

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

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

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

Определяем главную логическую операцию ( «главную скрипку»), которая соединяет разные выражения. Видим, что это логическое сложение.

Во всех строчках таблицы функция принимает значение 0 (ноль). Значит, и каждое выражение должно принимать значение 0 (ноль).

Следующим слабым звеном является равносильность. Она должна «выдавать» 0 (ноль). Равносильность «выдаёт» 0 (ноль), когда переменные разные!

Проанализируем первый и второй столбец. В третьей строчке, и там, и там, стоит 1 (единица). Значит, первый и второй столбец не могут быть одновременно y и z (или z и y).

Рассмотрим второй и четвёртый столбец. Вторая строчка содержит одинаковое значение 0 (ноль), и там, и там. Значит, второй и четвёртый столбец не могут быть одновременно y и z (или z и y).

Таким образом, y и z (или z и y) будут столбцы первый и четвёртый! И теперь можно расставить недостающие значения в этих столбцах. Расставляем, чтобы были разные значения, а второй столбец получается x.

Тогда ответ будет равен yxwz.

Мощнейший метод для решения второго задания из ЕГЭ по информатике

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

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

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

«Главной скрипкой» в нашей функции является логическое сложение, потому что соединяет два выражения ((x → y ) ∧ (y → w)) и (z ≡ ( x ∨ y)).

Тогда каждое выражение должно равняться 0(нулю).

Теперь кульминация мощнейшего метода. У нас всего 4 переменных. Выпишем все комбинации для 4-х переменных. Таблица будет точно такая же, как мы писали в первом задании (её очень легко составить). Всего получается 16 комбинаций (16 = 2 4 ).

Теперь отметим зелёным плюсом те строчки, которые обращают выражение ((x → y ) ∧ (y → w)) в 0(ноль). Следующий шаг: Отметим галочкой те строчки, которые обращают в ноль второе выражение (z ≡ ( x ∨ y)) (Мы должны искать среди тех, которые уже отмечены плюсом).

При небольшой тренировке анализ подобных выражений занимает сущие секунды!

У нас получается 4 строчки, которые удовлетворяют нашей функции:

Отсюда видно, что переменная z может быть равна только 0(нулю)! Значит, она занимает третий столбец, потому что в остальных столбцах есть хотя бы одна 1(единица).

Переменная w имеет только одну 1(единицу). Значит, её ставим во второй столбец, потому что в первом и четвёртом уже по 2 единицы минимум, а третий уже занят z.

На этом всё! Сегодня рассмотрели теорию и основные методы для эффективного решения второго задания из ЕГЭ по информатике!

Пока!

Источник

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