Проблемы понимания импликации алгебры булевой возникают из "объяснений" импликации естественным языком: "если то", "следовательно".
Нет в импликации естественного языка.
Наши языковые интуиции в импликации лишь сбивают с толку.
Это функция, принимающая две переменные (каждая 0 или 1) и возвращающая 0 или 1, в зависимости от своей таблицы истинности.
Мнемоника импликации; 1 -> 0 = 0.
В остальных случаях бинарная/булева функция "импликация" вернёт 1.