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