Рассмотрим все возможные значения переменных, при которых заданная функция равна
Начнем с пары
и 
Пусть
и
Тогда
дизъюнкция в левой части должна быть равна
для этого хотя бы одна из частей дизъюнкции должна быть равна
В правой части дизъюнкции стоит конъюнкция, в которую входит
она равна
независимо от значения
В левой части дизъюнкции стоит выражение
причём
Это выражение равно
только при 
Пусть теперь в паре (
) одна из переменных равна нулю, другая – единице. Тогда
дизъюнкция в левой части должна быть равна
для этого обе её части должны быть равны
Выражение
равно нулю только при
Тогда
и чтобы вторая часть дизъюнкции была равна
необходимо 
Последний случай –
Тогда
независимо от
дизъюнкция равна
независимо от правой части, и
независимо от 
Получается такой шаблон таблицы истинности (звёздочками обозначены значения переменных, не влияющие на значение функции):
Сопоставим этот шаблон с заданной таблицей.
Во второй строке заданной таблицы три переменных равны нулю. Это может быть только первая строка шаблона, в которой
Итак, переменная
– это 
В первой строке таблицы
а среди других переменных есть единица и ноль. Это может быть только третья строка шаблона, в которой
Итак, переменная
– это 
В третьей строке таблицы оставшиеся две переменные –
и
– имеют разные значения. Это вторая строка шаблона, в ней
то есть переменная
– это
переменная
– 