Проверка на тавтологию с помощью таблиц истинности в логике высказываний

Тавтология — это утверждение, которое всегда истинно. В этом видео я покажу, как использовать таблицы истинности для определения тавтологий. -- Перед просмотром этого видео я рекомендую посмотреть следующие видео:    • What Truth Tables Do      • Truth Table Setup in Statement Logic      • Evaluating Negations with Truth Tables in ...      • Evaluating Conjunctions with Truth Tables ...      • Evaluating Disjunctions with Truth Tables ...      • Evaluating Conditionals with Truth Tables ...      • Evaluating Biconditionals with Truth Table...