Логические выражения: тождественная истина