Таблица истинности импликации имеет следующий вид.
(полное условие - в демо-файлах)
A B A→B / 1 1 1 / 1 0 0 / 0 1 1 / 0 0 1
A B A→B / 1 1 1 / 1 0 1 / 0 1 0 / 0 0 1
A B A→B / 1 1 0 / 1 0 0 / 0 1 1 / 0 0 1
A B A→B / 1 1 1 / 1 0 0 / 0 1 0 / 0 0 0