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