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