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