Решите пожалуйста... Булева алгебра АВ⇒(¯В⇔А)

АВ⇒(¯В⇔А)=(¬(АВ)∨(¯В⇔А))=
Преобразуем 1 И 2   ¬(АВ)=¬А∨¬В
(¯В⇔А)=(¬(¬В)∨А)∧(¬А∨В)=(В∧¬А)∨ВВ∨(А∧¬А)∨АВ=(В∧¬А)∨В∨0∨АВ)=1
¬А∨¬В∨1=1