Что такое "ТАВТОЛОГИЯ" в Дискретной математике?

ТАВТОЛ˜ОГИЯ (от греч. tauto — то же самое и logos — слово) ,
1) сочетание или повторение одних и тех же или близких по смыслу слов («истинная правда» , «целиком и полностью» , «яснее ясного») .
2) Явный круг в определении, доказательстве и пр. (лат. idem per idem — то же через то же) .
3) Логически истинная формула (высказывание) , логический закон (см. Тождественная истинность) .

Тавтология – основа любого дискретного знания, в том числе теоретического, теория есть в этом смысле пространственно-временная развертка в символах и словах первоначальной идеи, смысла.

В Дискретке это функция, которая принимает значение "истина" (или "1") на всех возможных значениях переменных.