Формализуйте приведённые ниже суждения и постройте соответствующие таблицы истинности

Запишем форму рассуждения:
((А˅С)&(А→В))→(С→¬В)
Построим для данной формулы таблицу истинности. Количество строк в таблице будет равно 2n, где 2 обозначает количество возможных логических значений (истина или ложь), n – количество переменных . 23 = 8.
1 2 3 4 5 6
А В С А˅С А→В ((А˅С)&( А→В) ¬В С→¬В ((А˅С)&(А→В))→(С→¬В)
и и и л и л л л и
и и л и и и л и и
и л и л л л и и и
и л л и л л и и и
л и и и и и л л л
л и л л и л л и и
л л и и и и и и и
л л л л и л и и и
Из таблицы истинности видно формула является выполнимой, но не является тождественно истинной, поскольку имеются и истинные и ложное итоговое значение формулы.