Определение дает нам автоматическую процедуру установления того, является ли какая-либо формула тавтологией:

достаточно вычислить ее таблицу истинности и установить, что всегда получаются лишь значения И.

Этот способ универсальный и надо им пользоваться, если возникают сомнения.