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