Равносильны ли между собой формулы сложных суждений

1) (а Λ ┐в) v (┐а Λ в)
а в ¬в
а˄¬в
¬а
¬а˄в
а˄¬вV¬а˄в
0 0 1 0 1 0 0
0 1 0 0 1 1 1
1 0 1 1 0 0 1
1 1 0 0 0 0 0
2) (а → в) → (в → а)
а в а→в в→а а→в→(в→а)
0 0 1 1 1
0 1 1 0 0
1 0 0 1 1
1 1 1 1 1
[0;1;1;0] и [1;0;1;1]
Итоговые столбцы таблиц истинности не совпадают, следовательно, данные формулы не равносильны.