1) Докажите логический закон тавтологии (A↔B) ↔ ((A →B) ∧ (B→A))

2) Сколько разных четырёхзначных чисел можно составить из цифр 0,1,2,3,4,5?