Доказать равносильность двух данных формул. Установить является формула тождественно истинной или тождественно ложной

Доказать равносильность: а) (x→y) →y = x∨y переменные х и у могут иметь четыре варианта значений 0 0, 0 1, 1 0, 11 необходимо подставить и убедиться, что справа и слева всегда получаются одинаковые значения значения логических операций берутся из таблиц определений