Данная формула является тавтологией(левые и правые части равны), чтобы это доказать достаточно перейти из логической операции в алгебраическую:
знак ^ - заменяется умножением, а знак v - сложением получим:
а(в+с)⇔ав+ас
ав+ас⇔ав+ас, следовательно данная формула является тавтологией.
