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

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

2. Рассмотрим теперь вторую строчку. Мы поняли, что одновременно нулями все переменные быть не могут, быть единицей может только (в то время как остальные переменные равны нулю). Значит, первую и вторую ячейку занимает единица. Теперь рассмотрим, когда Но тогда а значит, Значит импликация будет истинной при этом. Остаётся вариант, когда Данный вариант удовлетворяет условиям, так Следовательно, занимает второй столбец, а занимает третий.