помогите пожалуйста с информатикой упростить 1.(B->(AvB))/\(AvB) 2.(Av(A/\B))->B)

Question

помогите пожалуйста с информатикой
упростить
1.(B->(AvB))/\(AvB)
2.(Av(A/\B))->B)

Answer 1

1)     (--B +A +B) * (A+B)=  A+B
2)   ( A+A*B)-->B= A-->B=  --A+B