Докажите с таблиц истинности равносильность следующих логических выражений: _ а) (а => в) & (а v b) ___ б) (а < => в) & (а & в) v (а & в) `на запятые не обращайте внимания`

А)
1)А=0, В=0
(0→0)&(0v1)=1&1=1
2)A=1, B=0
(1→0)&(1v1)=0&1=0
3)A=0, B=1
(0→1)&(0v0)=1&0=0
4)A=1, B=1
(1→1)&(1 v0)=1&1=1

б)
1) A=0, B=0
(0<=> 0)&(0&0)v (1&1)= 1&0 v1= 0v1=1
2) A=1, B=0
(1<=>0)&(1&0)v(0&1)=0&0v0=0v0=0
3) A= o, B=1
(0<=>1)&(0&1)v(1&0)=0&0v0=0v0=0
4) A=1, B=1
(1<=>1)&(1&1)v(0&0)=1&1v0=1&0=0