Пусть задано выражение x → y, зависящее от двух переменных x и y, и
Условие
| Логическая функция F задаётся выражением (x ∧ ¬y) ∨ (y ≡ z ) ∨ w.Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w. Переменная 1 | Переменная 2 | Переменная 3 | Переменная 4 | Функция |
|---|---|---|---|---|
| ??? | ??? | ??? | ??? | F |
| 1 | 0 | |||
| 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | |
| В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы (сначала — буква, соответствующая первому столбцу; затем — буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно. Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y, и фрагмент таблицы истинности: Переменная 1 | Переменная 1 | Функция | ||
| ??? | ??? | F | ||
| 0 | 1 | 0 |
Тогда первому столбцу соответствует переменная y, а второму столбцу соответствует переменная x. В ответе нужно написать: yx.
Ответ
Ответ и полный разбор откроются после входа
Посмотреть ответРешение по шагам
Как рассуждать
Решение. Рассмотрим данное выражение. Преобразуем логическое выражение (x ∧ ¬y) ∨ (y ≡ z ) ∨ w и получим систему, при которой оно ложно: система выражений совокупность выражений x=1,y=0, конец системы . y z,w =
Осталось ещё 5 шагов
конец совокупности . ( * ) Заметим, что…
В наборах переменные запишем в порядке х, y…
Следовательно, ей соответствует первый…
Следовательно, ей соответствует третий…
Следовательно, второй столбец не подходит…
Бесплатно · займёт минуту
Другие задачи по теме «Логика и таблицы истинности»
Постройте таблицу истинности для выражения F = (A ∨ B) ∧ ¬C8–11 классВычислите значение выражения ¬A ∧ B ∨ C → B ∧ ¬C при A = 0, B = 1, C = 18–11 классПри каком наборе X, Y, Z, W выражение X ∨ ¬Y ∨ Z ∨ ¬W ложно8–11 классОпределите, какому столбцу таблицы истинности соответствует каждая переменная8–11 классУпростите выражение (X ∧ Y) ∨ (¬X ∧ Y) ∨ (¬X ∧ ¬Y)8–11 класс