Помогите пожалуйста построить таблицу истинности высказываний (a -> b) & ~b -> ~a

Question

Помогите пожалуйста построить таблицу истинности высказываний
(a -> b) & ~b -> ~a

Answer 1

Все на фото. Я так понял, что тильда - отрицание. Получается, что выражение всегда истинно

---