Щоб дати Вам хоча б якесь уявлення, про що будемо вести мову, давайте почнемо з невеличкого прикладу.  Ви, мабуть, вчили формули скороченого множення, властивості, похідних, інтегралів, формули в тригонометрії і тому подібне. Тоді у нас все це можна було в тій чи іншій мірі означити одним лише словом: рівності.
У алгебрі Буля тавтологією називають певну рівність (еквіваленцію) або логічний вираз, який при будь-якому значенні будь-якої змінної постійно набуває одного і того ж значення (тобто завжди або істинний або хибний).
Візьмемо, для прикладу, закони де Моргана. Можна довести, що формули, які їх описують, є завжди істинними (тут ми цього робити не будемо). Також в алгебрі Буля існує така річ як резолюція. Формула, що описує її суть, також є завжди істинною. Отже, закони де Моргана та резолюція є прикладами тавтологій.
Отож, одне діло - розібратися з суттю поняття, а зовсім друге - вияснити його використання. В даному випадку воно в певній мірі очевидне. Основне використання тавтологій - це перетвонення. Коли у нас є певна формула, то, використовуючи тавтології (і ще деякі речі), її можна спростити, і в деяких випадках досить таки сильно. В багатьох випадках це допомагає "полегшити життя". Яких же? Одним із стандартних прикладів є побудова електричних схем. Також не варто забувати про розгалуження у програмуванні. Прикладів можна наводити багато, тому не будемо на цьому зациклюватись.
Надіюсь, дана стаття була Вам в пригоді.