Помогите решить логическое выражение A^B=>A=A с помощью таблицы истиности

А | B |
0 | 0 | 1
0 | 1 | 1
1 | 0 | 1
1 | 1 | 1

Хм.. . тождественная истина получается (Если => - это импликация, а = - эквиваленция)