Смотри ниже
Выражение, истинное при любых значениях переменных, называется тождественно истинным или тавтологией. Высказывание «Сегодня безветрие, и дует сильный ветер» никогда не может быть истинным. Соответствующее логическое выражение всегда ложно, оно называется тождественно ложным или противоречием
