Неповторяющиеся строки таблицы истинности что это
Неповторяющиеся строки таблицы истинности что это
Логическая функция F задаётся выражением На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
Переменная 1 | Переменная 2 | Переменная 3 | Переменная 4 | Функция |
---|
Переменная 1 | Переменная 2 | Функция |
---|
Переменная 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. Получим следующие наборы:
Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.
Первая строка таблицы может соответствовать только набору (1, 0, 0), следовательно, первый столбец таблицы соответствует переменной x, и в первом столбце первой строки стоит 1.
Второй столбец таблицы может соответствовать только переменной z, поскольку переменная y принимает нулевое значение только в одном наборе. Тогда третий столбец соответствует переменной y.
Логическая функция F задаётся выражением (x ≡ z ) ∨ (x → (y ∧ z)).
Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.
Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z.
Переменная 1 | Переменная 2 | Переменная 3 | Функция |
---|
Переменная 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.
Переменная 1 | Переменная 2 | Переменная 3 | Функция |
---|
Переменная 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.
Переменная 1 | Переменная 2 | Переменная 3 | Переменная 4 | Функция |
---|
Переменная 1 | Переменная 2 | Функция |
---|