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