1) Установить явл. ли формула тавтологией или тождественно ложна:

(А-->(B-->C))-->((A-->B)-->(A-->C)).


вроде это через семантические таблицы или деревья как то делать надо

уже сам решил...
тавтология получилась