Миша, наш герой-логик, взялся за заполнение таблицы истинности функции F. Казалось бы, что может быть проще? Четыре переменные — w, x, y, z — и куча строк с нулями и единицами.
Но Миша решил усложнить себе жизнь: он заполнил всего три строки из таблицы и при этом не написал, какой столбец за какую переменную отвечает. Это как прийти на вечеринку в шляпе и не сказать, кто ты — гость или диджей. Забавно, правда?
Представьте себе: у Миши в руках кусочек головоломки, а он пытается понять, где у него w, где x, а где y с z. Задача сродни тому, как если бы вы пытались угадать рецепт борща по трем ложкам супа из кастрюли соседа.
Ну что ж, приступим к детективу!
Первое наблюдение Миши было простым и гениальным: функция F истинна (то есть равна 1) в этих трёх строках. А значит можно использовать формулу ¬(y → (x ≡ w)) /\ (z → x) = 1. Тут начинается настоящая магия логики!
Для тех, кто забыл школьный курс или просто любит анекдоты — импликация А→В работает так: она ложна только тогда, когда А=1 и В=0. Остальное время – всегда истина.
Итак, если (z → x)=1 при наших данных строках таблицы — значит если x равен нулю (0), то z тоже должен быть ноль (0). Вспомните анекдот про программиста: «Если программа не работает — значит ошибка там где она должна быть».
Аналогично здесь: если в одной ячейке x=0, то z тоже 0 – иначе импликация лопнет.
Дальше веселее: нам нужно обратить внимание на отрицание перед скобками ¬(y → (x ≡ w)). Отрицание говорит нам «не верю я твоему следствию!» или проще говоря — выражение внутри скобок должно быть равно 0 для того чтобы вся формула была истинной. А импликация равна 0 только тогда, когда y=1 и (x ≡ w)=0.
Вот тут начинается настоящая логическая комедия!
Эквиваленция (x ≡ w) истинна только когда x и w совпадают по значению; а нам надо чтобы она была ложной — значит x и w должны отличаться! Если представить их как двух соседей по комнате — один всегда выключает свет ночью (0), другой всегда включает (1). Идеальный дуэт для споров.
Теперь смотрим на таблицу: y всегда равен 1 — единственный столбец без нулей подходит под эту роль.
Значит мы уже знаем местоположение y! Представьте себя на дне рождения друга: вы сразу узнаете именинника среди гостей по яркой шапке или громкому смеху.
Осталось решить загадку с первыми двумя столбцами – кто же там скрывается?
Тут помогает зависимость между x и z: если z=1, то x тоже должен быть 1. Получается что переменная z занимает четвёртый столбец – ведь только там встречается нужный набор значений 0, 0 и 1.
А первые два столбца остаются для w и x.
Поскольку они противоположны друг другу в смысле эквиваленции в нашем случае (один включён – другой выключен), а еще x зависит от z – значит x идёт во второй столбец, а w – первый.
В итоге получаем хитрый порядок переменных по столбцам: wxyz. Кто бы мог подумать? Миша разгадал загадку быстрее детектива Холмса… ну или почти!
Так что мораль сей басни такова: даже если вы запутались в логических функциях как кот в клубке ниток – главное не паниковать!
Подходите к задаче с юмором и холодной головой — а иногда полезно вспомнить старый добрый анекдот про программиста:
«Программисту дали задачу написать программу без багов… Через неделю он пришёл с программой без багов… но без функционала».
Вот так же с таблицей истинности – сначала разберись с основами логики, потом уже строй сложные конструкции!