Логическая функция задаётся выражением:
Ниже представлен фрагмент таблицы истинности функции , содержащий неповторяющиеся строки, при которых фукнция
ложна.
Определите, какому столбцу истинности функции соответствует каждая переменная
1. Рассмотрим первую строчку. Предположим, что все переменные принимают значение . В таком случае левая часть импликации будет истинна, правая часть тоже истинна, а значит, при этих значениях переменных
. Следовательно, в первой ячейке первой строки находится
. Предположим, что это
. В таком случае левая и правая часть импликации будут истинны, а значит, и сама импликация будет истинна. Если это переменная
, то левая часть импликации будет равна
, а значит,
. Остаётся предположить, что первый столбец занимает переменная
. В этом можно убедиться, если принять
(как в первой строчке). Получим, что при этих значениях
так как
2. Как мы поняли из первой строки, среди набора переменных только одна переменная
может принимать значение
, в то время как другие переменные равны
. Следовательно, третья ячейка третьей строки равна
.
3. Осталось разобраться со второй строкой. Если вторая ячейка принимает значение , то строка совпадёт с первой строкой. Значит, в этой ячейке находится
. Предположим, что
Но тогда
а значит,
. Остаётся вариант, когда
. При этих значениях
. Значит второй столбец занимает
, а третий столбец занимает
.