А я и не обижаюсь, потому что с точки зрения матлогики тавтология это утверждение, которое всегда верно (например, (А ^ ~А) )