Логическая функция задается выражением:
Ниже представлен фрагмент таблицы истинности функции .
Определите, какому столбцу истинности функции соответствует каждая переменная
. В ответе напишите буквы в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
1. Дизъюнкция ложна тогда, когда эквивалентность в первой скобке и конъюнкция во второй будут ложными. Эквивалентность будет ложной тогда, когда переменные будут иметь разные значения. Обратясь к фрагменту таблицы истинности, мы поймём, что эти переменные не могут занимать первый и второй столбец, второй и третий. Следовательно, под второй столбец отводится место для переменной
.
2. Обратимся к третьей строке. Так как переменные принимают разные значения, а второй столбец занят переменной
то в первой ячейке находится
. Также
, а значит, для ложности конъюнкции во второй скобке
. Отсюда следует, что
занимает третий столбец, а
занимает первый.