Дискретка. Алгебра логиги. Опции

[HelpPliz]

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

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


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