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