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






