2.02 Частично заполненный фрагмент таблицы

1. тогда, когда дизъюнкция ложна, а ложна она в случае, когда обе скобки ложны. Значит имеют разные значения. Предположим, что занимает третий столбец. Обратимся к первой строке. Но тогда конъюнкция во второй скобке истинна, что делает Если занимает третий столбец, то что также делает Следовательно, третий столбец занят переменной

2. Обратимся к третьей строке, в ней значит, Тогда

3. Теперь обратимся ко второй строчке. Предположим, что в ней Тогда а значит, занимает второй столбец. Но тогда что не подходит для второй строки. Значит в ней Тогда а значит, либо В первом случае строка совпадет с первой строкой, значит подойдёт второй вариант. Таким образом, занимает второй столбец, а занимает первый.