Определить с помощью таблиц истинности, является ли приведенная формула алгебры высказывание тавтологией
(а \/ b) (а
b)
а | b | а | а+ b | a ![]() | (а \/ b) ![]() ![]() |
В последнем столбце построенной для данной формулы таблицы истинности при всех наборах значений переменных ходящих в нее простых высказываний получены только значения истины, следовательно, она является тавтологией.