Какой является формула (p˅q)≡¬ s) тождественно-истинной

Для определения, какой является формула, построим ее таблицу истинности. Определим количество строк в таблице:(х = 2n, где х – количество строк в таблице, n – количество переменных формуле . В формуле 3 переменные, значит количество строк в таблице будет 8.
p q s p˅q ≡ ¬s
и и и и л л
и и л и и и
и л и и л л
и л л и и и
л и и и л л
л и л л л и
л л и и л л
л л л л л и
и и и и и и
В итоговом столбце есть и истинные и ложные значения при разных наборах переменных