Является ли данная формула Тавтологией (АВ) С ↔ А(В С)
Вы бы еще значки между буквами заменили на нормальные...
Нет. Так как Тавтология-от греческого языка "повторение,одно и тоже".