Логические тавтологии - это...
- константы нуля
- повторение переменной x
- такие формулы, что, если буквы произвольно заменить истинными или ложными высказываниями, то всегда получится истинное высказывание
- такие формулы, которые являются истинными высказываниями тогда и только тогда, когда все логические переменные являются истинными высказываниями
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.