Решить уравнение с логики: (p-> a)*(a-> q)

Воспользуемся таблицей эквивалентности и др. вс законами/свойствами. Быть может можно было это расписать и короче, но я привык расписывать всё подробно.