Доказать с помощью таблиц истинности: (A⇒B)≡(Ā ∨ B)

Question

Доказать
с помощью таблиц истинности: (A⇒B)≡(Ā ∨ B)

Answer 1

Таблица истинности для 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


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