Помогите решить логическое выражение! (AvB)&(¬BvA)&(¬CvB) знак перед буквами-отрицание Спасибо! )

(A|B)&(~B|A)&(~C|B)=((A|B)&(~B|A))&(~C|B)=
=A&(~C|B)=
=A&~C|A&B

Выбирай, какой вариант подходит лучше

Преобразование подробно:

(A|B)&(~B|A)=A&~B|A&A|B&~B|B&A=A&~B|A|0|A&B=A&~B|A&B|A=
=A&(~B|B|1)=A&1=A