Тавтология
Тавтология (tautology) — всегда истинная формула логики высказываний. [Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа: http:// http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]