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