Доказать с таблиц истинности: (a⇒b)≡(ā ∨ b)

Таблица истинности для A -> B:
A  B  A->B
0   0   1 
0   1   1
1   0   0
1   1   1
Таблица истинности для ~A | B:
A  ~A   B   ~A|B
0    1    0     1
0    1    1     1
1    0    0     0
1    0    1     1

Таблицы совпали...