Пример.

Тавтологией является следующее высказывание.

"Если внедрить новую технологию (А), то качество продукции улучшится (В). При улучшении качества продукции (В) ее сбыт увеличится (С). Новая технология внедрена (А). Следовательно, сбыт продукции увеличился (С)".

Оно выражается следующей формулой: (A → B) & (B → C) & A → C.

Составим таблицу истинности:

Переменные			Промежуточные логические формулы				Формула
A	B	C	A → B	B → C	(A → B) & (B → C)	(A → B) & (B → C) & A	(A → B) & (B → C) & A → C
Л	Л	Л	И	И	И	Л	И
Л	Л	И	И	И	И	Л	И
Л	И	Л	И	Л	Л	Л	И
Л	И	И	И	И	И	Л	И
И	Л	Л	Л	И	Л	Л	И
И	Л	И	Л	И	Л	Л	И
И	И	Л	И	Л	Л	Л	И
И	И	И	И	И	И	И	И

Из таблицы видно, что при всех наборах значений переменных формула принимает значение И, то есть является тавтологией.