Так как таблица истина, значит, обе скобки истины. Импликация всегда истина, кроме набора , а у нас есть строка в таблице. Если подставить вместо столбца , то увидим, что первый и второй столбец не могут быть , так как выходит набор у импликации, значит, столбец не . То же самое, если подставить вместо столбца у, будет у импликации, значит, столбец и не . Значит, столбец — это . Вариант не подходит вместо и столбца, так как импликация из в в строке будет ложна, значит, ответ .