Тавтологія — це формула логіки, що має значення «істина» не залежно від конкретних значень аргументів.