Помогите по математической логике пожалуйста

Question

1) Доказать равносильность: 
 а) (x→y) →y = x∨y 
2) Доказать истинность: 
 _ 
 a) x → (x → y) 
 
 б) x & (x∨z) & (y∨z)=(x & y)∨(x & z)

_ 
а) x → (x → y) (не икс)

Рушана ************ · Accepted Answer

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