Упростите логическое выражение

Данное выражение уже упрощено и является тождественной истиной. Оно называется транзитивностью импликации и означает, что если верны высказывания "a влечет b" и "b влечет c", то верно высказывание "c влечет a".