Докажите тождество (A|b)->(bvc)=bvc | - стрелка Пирса v- или помогите пожалуйста

Question

Докажите тождество
(A|b)->(bvc)=bvc
| - стрелка Пирса
v- или
помогите пожалуйста

Answer 1

Предлагаю упростить левую часть

---