В смысле? Мы строим небольшую таблицу, куда записываем все возможные варианты значений каждой переменной. И используя данные этой таблицы, уже сверяем с тем, что у нас есть: находим ответ по составленной нами таблице, подставляя значения в исходную таблицу.