Установите является ли формула логическим законом или выполнимой или тождественно-ложной

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