Помогите построить таблицу истинности формулы Очень нужно ((( (А->B)\/( 7A -> 7B)

Таблица истинности: (1 1 1 1). Доказательство: (A -> B)V(7A -> 7B) = (7A V B)V(77A V 7B) = 7A V A V B V 7B = 1