Какое выражение пропущено в таблице истинности
Для таблицы истинности функции F известны значения только некоторых ячеек:
| x1 | x2 | x3 | x4 | x5 | x6 | x7 | F |
|---|---|---|---|---|---|---|---|
| 1 | 0 | 1 | |||||
| 0 | 0 | 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
Проанализируем каждый вариант.
Первый вариант не подходит, поскольку в первой строке переменная ¬x4 = 0, следовательно, F должно обращаться в нуль, что не соответствует таблице истинности.
Второй вариант подходит.
Третий вариант не подходит, поскольку во второй строке переменная x4 = 0, следовательно, F должно обращаться в нуль, что не соответствует таблице истинности.
Четвёртый вариант не подходит, поскольку в третьей строке переменная x4 = 1, следовательно, F должно быть равно 1, что не соответствует таблице истинности.
Здравствуйте. Объясните пожалуйста, как решать такие задачи? Именно не полностью заполненные таблицы
Вас не должно смущать что таблица заполнена не полностью. Анализируйте каждый вариант и исключайте те, которые точно не подходят, в итоге останется единственный подходящий.
Рассмотрим ещё раз почему не подходит первый вариант x1 ∧ x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7. В первой строчке таблицы истинности указано что x4=1, следовательно, ¬x4=0. В таком случае всё выражение для первого варианта равно нулю, а это противоречит первой строчке таблицы истинности.
Здравствуйте, пересмотрите, пожалуйста, это задание. Я уверен, что оно составлено совершенно неверно. т.к
для второго варианта ответа в первой строчке ¬x4=0, x6=0, получается 0 v 0 = 1.Прошу рассмотреть!
Поэтому мы ищем те варианты, которые точно не могут являться F.
Как выражение 2 может подходить для 1 строки таблицы, если не х4=0, х6=0?
C уважением Степанова Т.П.
Второе выражение не противоречит первой строке, поскольку в пустые клетки строки можно подставить такие значения переменных, что выражение будет равно 1.
Для таблицы истинности функции F известны значения только некоторых ячеек:
| x1 | x2 | x3 | x4 | x5 | x6 | x7 | F |
|---|---|---|---|---|---|---|---|
| 1 | 0 | 1 | |||||
| 0 | 0 | 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
Проанализируем каждый вариант.
Первый вариант не подходит, поскольку в первой строке переменная x6 = 0, следовательно, F должно обращаться в нуль, что не соответствует таблице истинности.
Второй вариант не подходит, поскольку в третьей строке переменная ¬ x1 = 1, следовательно, F должно быть равно 1, что не соответствует таблице истинности.
Третий вариант не подходит, поскольку во первой строке переменная x6 = 0, следовательно, F должно обращаться в нуль, что не соответствует таблице истинности.
Построение таблицы истинности. СДНФ. СКНФ. Полином Жегалкина.
Онлайн калькулятор позволяет быстро строить таблицу истинности для произвольной булевой функции или её вектора, рассчитывать совершенную дизъюнктивную и совершенную конъюнктивную нормальные формы, находить представление функции в виде полинома Жегалкина, строить карту Карно и классифицировать функцию по классам Поста.
Калькулятор таблицы истинности, СКНФ, СДНФ, полинома Жегалкина
введите функцию или её вектор
Построено таблиц, форм:
Как пользоваться калькулятором
Видеоинструкция к калькулятору
Используемые символы
Для смены порядка выполнения операций используются круглые скобки ().
Обозначения логических операций
Что умеет калькулятор
Что такое булева функция
Что такое таблица истинности?
Довольно часто встречается вариант таблицы, в которой число столбцов равно n + число используемых логических операций. В такой таблице также первые n столбцов заполнены наборами аргументов, а оставшиеся столбцы заполняются значениями подфункций, входящих в запись функции, что позволяет упростить расчёт конечного значения функции за счёт уже промежуточных вычислений.
Логические операции
Логическая операция — операция над высказываниями, позволяющая составлять новые высказывания путём соединения более простых. В качестве основных операций обычно называют конъюнкцию (∧ или &), дизъюнкцию (∨ или |), импликацию (→), отрицание (¬), эквивалентность (=), исключающее ИЛИ (⊕).
Таблица истинности логических операций
| a | b | a ∧ b | a ∨ b | ¬a | ¬b | a → b | a = b | a ⊕ b |
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 |
Как задать логическую функцию
Есть множество способов задать булеву функцию:
Рассмотрим некоторые из них:
Чтобы задать функцию в виде формулы, необходимо записать математическое выражение, состоящее из аргументов функции и логических операций. Например, можно задать такую функцию: a∧b ∨ b∧c ∨ a∧c
Способы представления булевой функции
С помощью формул можно получать огромное количество разнообразных функций, причём с помощью разных формул можно получить одну и ту же функцию. Иногда бывает весьма полезно узнать, как построить ту или иную функцию, используя лишь небольшой набор заданных операций или используя как можно меньше произвольных операций. Рассмотрим основные способы задания булевых функций:
Совершенная дизъюнктивная нормальная форма (ДНФ)
Простая конъюнкция — это конъюнкция некоторого конечного набора переменных, или их отрицаний, причём каждая переменная встречается не более одного раза.
Дизъюнктивная нормальная форма (ДНФ) — это дизъюнкция простых конъюнкций.
Совершенная дизъюнктивная нормальная форма (СДНФ) — ДНФ относительно некоторого заданного конечного набора переменных, в каждую конъюнкцию которой входят все переменные данного набора.
Например, ДНФ является функция ¬a bc ∨ ¬a ¬b c ∨ ac, но не является СДНФ, так как в последней конъюнкции отсутствует переменная b.
Совершенная конъюнктивная нормальная форма (КНФ)
Простая дизъюнкция — это дизъюнкция одной или нескольких переменных, или их отрицаний, причём каждая переменная входит в неё не более одного раза.
Конъюнктивная нормальная форма (КНФ) — это конъюнкция простых дизъюнкций.
Совершенная конъюнктивная нормальная форма (СКНФ) — КНФ относительно некоторого заданного конечного набора переменных, в каждую дизъюнкцию которой входят все переменные данного набора.
Например, КНФ является функция (a ∨ b) ∧ (a ∨ b ∨ c), но не является СДНФ, так как в первой дизъюнкции отсутствует переменная с.
Алгебраическая нормальная форма (АНФ, полином Жегалкина)
Алгебраическая нормальная форма, полином Жегалкина — это форма представления логической функции в виде полинома с коэффициентами вида 0 и 1, в котором в качестве произведения используется операция конъюнкции, а в качестве сложения — исключающее ИЛИ.
Примеры полиномов Жегалкина: 1, a, a⊕b, ab⊕a⊕b⊕1
Алгоритм построения СДНФ для булевой функции
Алгоритм построения СКНФ для булевой функции
Алгоритм построения полинома Жегалкина булевой функции
Есть несколько методов построения полинома Жегалкина, в данной статье рассмотрим наиболее удобный и простой из всех.
Примеры построения различных представлений логических функций
Построим совершенные дизъюнктивную и дизъюнктивную нормальные формы, а также полином Жегалкина для функции трёх переменных F = ¬a b∨ ¬b c∨ca
1. Построим таблицу истинности для функции
| a | b | c | ¬a | ¬a ∧b | ¬b | ¬b ∧c | ¬a ∧b∨ ¬b ∧c | c∧a | ¬a ∧b∨ ¬b ∧c∨c∧a |
| 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
Построение совершенной дизъюнктивной нормальной формы:
Найдём наборы, на которых функция принимает истинное значение: < 0, 0, 1 > < 0, 1, 0 > < 0, 1, 1 > < 1, 0, 1 >
В соответствие найденным наборам поставим элементарные конъюнкции по всем переменным, причём если переменная в наборе принимает значение 0, то она будет записана с отрицанием:
Объединим конъюнкции с помощью дизъюнкции и получим совершенную дизъюнктивную нормальную форму:
Построение совершенной конъюнктивной нормальной формы:
Найдём наборы, на которых функция принимает ложное значение: < 0, 0, 0 > < 1, 0, 0 >
В соответствие найденным наборам поставим элементарные дизъюнкции по всем переменным, причём если переменная в наборе принимает значение 1, то она будет записана с отрицанием:
Объединим дизъюнкции с помощью конъюнкции и получим совершенную конъюнктивную нормальную форму:
Построение полинома Жегалкина:
Добавим новый столбец к таблице истинности и запишем в 1, 3, 5 и 7 строки значения из тех же строк предыдущего столбца таблицы истинности, а значения в строках 2, 4, 6 и 8 сложим по модулю два со значениями из соответственно 1, 3, 5 и 7 строк:
| a | b | c | F | 1 | |
| 0 | 0 | 0 | 0 | → | 0 |
| 0 | 0 | 1 | 1 | ⊕ 0 | 1 |
| 0 | 1 | 0 | 1 | → | 1 |
| 0 | 1 | 1 | 1 | ⊕ 1 | 0 |
| 1 | 0 | 0 | 0 | → | 0 |
| 1 | 0 | 1 | 1 | ⊕ 0 | 1 |
| 1 | 1 | 0 | 0 | → | 0 |
| 1 | 1 | 1 | 1 | ⊕ 0 | 1 |
Добавим новый столбец к таблице истинности и запишем в 1 и 2, 5 и 6 строки значения из тех же строк предыдущего столбца таблицы истинности, а значения в строках 3 и 4, 7 и 8 сложим по модулю два со значениями из соответственно 1 и 2, 5 и 6 строк:
| a | b | c | F | 1 | 2 | |
| 0 | 0 | 0 | 0 | 0 | → | 0 |
| 0 | 0 | 1 | 1 | 1 | → | 1 |
| 0 | 1 | 0 | 1 | 1 | ⊕ 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | ⊕ 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | → | 0 |
| 1 | 0 | 1 | 1 | 1 | → | 1 |
| 1 | 1 | 0 | 0 | 0 | ⊕ 0 | 0 |
| 1 | 1 | 1 | 1 | 1 | ⊕ 1 | 0 |
Добавим новый столбец к таблице истинности и запишем в 1 2, 3 и 4 строки значения из тех же строк предыдущего столбца таблицы истинности, а значения в строках 5, 6, 7 и 8 сложим по модулю два со значениями из соответственно 1, 2, 3 и 4 строк:
| a | b | c | F | 1 | 2 | 3 | |
| 0 | 0 | 0 | 0 | 0 | 0 | → | 0 |
| 0 | 0 | 1 | 1 | 1 | 1 | → | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 | → | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | → | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | ⊕ 0 | 0 |
| 1 | 0 | 1 | 1 | 1 | 1 | ⊕ 1 | 0 |
| 1 | 1 | 0 | 0 | 0 | 0 | ⊕ 1 | 1 |
| 1 | 1 | 1 | 1 | 1 | 0 | ⊕ 1 | 1 |
Окончательно получим такую таблицу:
| a | b | c | F | 1 | 2 | 3 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 | 1 | 1 | 0 |
| 1 | 1 | 0 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 0 | 1 |
Выпишем наборы, на которых получившийся вектор принимает единичное значение и запишем вместо единиц в наборах имена переменных, соответствующие набору (для нулевого набора следует записать единицу):
Объединяя полученные конъюнкции с помощью операции исключающего или, получим полином Жегалкина: c⊕b⊕bc⊕ab⊕abc
Programforyou — это сообщество, в котором Вы можете подтянуть свои знания по программированию, узнать, как эффективно решать те или иные задачи, а также воспользоваться нашими онлайн сервисами.
Какое выражение пропущено в таблице истинности
Логическая функция 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. Получим следующие наборы:
Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.
Первая строка таблицы может соответствовать только набору (1, 0, 0), следовательно, первый столбец таблицы соответствует переменной x, и в первом столбце первой строки стоит 1.
Второй столбец таблицы может соответствовать только переменной z, поскольку переменная y принимает нулевое значение только в одном наборе. Тогда третий столбец соответствует переменной y.
Логическая функция F задаётся выражением (x ≡ z ) ∨ (x → (y ∧ z)).
Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.
Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z.
| Переменная 1 | Переменная 2 | Переменная 3 | Функция |
|---|
| Переменная 1 | Переменная 2 | Функция |
|---|
. Исходя из системы (*), 
, тогда 
. В первой строке нет единицы, значит, переменная x находится в третьем столбце. Тогда первая строка имеет вид 0 0 1.| 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 находится в первом столбце. Тогда первая строка имеет вид 0 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 | Функция |
|---|
