5. логическое выражение, являющееся истинным при любом наборе входящих в него переменных, называется тождественно истинным. убедитесь, что следующие логические выражения являются тождественно истинными:
1) a-> (b-> a)
_ _
2)(a-> b)-> (b-> a)
3)(a& c-> b)-> (c-> (avb-> b& c)