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

Построим таблицу истинности:
а в ┐а
┐в
(┐в → ┐а) (а ↔ ┐в)
и и л л и л
и л л и л и
л и и л и и
л л и и и л
На основании построенной таблицы истинности можно сделать вывод, что заданные формулы не являются равносильными, так как уже в первой строке их столбцов значения истинности не совпадают друг с другом, а как известно, в равносильных суждениях должны совпадать все истинностные значения каждой формулы друг другу.