Постройте таблицу истинности для сложного выражения a=> (b=> a)

=> - это, видимо, операция "импликация"
Таблица истинности для нее:
a   b   a=>b
0   0     1
0   1     1
1   0     0
1   1     1
Теперь рассмотрим выражение: A=>(B=>A)
A    B   B=>A     A=>(B=>A)
0     0      1              1
0     1      0              1
1     0      1              1
1     1      1              1