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