Кактус зацветёт зимой или не зацветёт.

Пусть A = "Кактус зацветёт зимой". Тогда отрицание A будет "Кактус не зацветёт зимой". Утверждение имеет вид A ∨ ¬A, где ¬A обозначает отрицание A. Это тавтология, так как одно из двух утверждений обязательно истинно (кактус либо зацветёт, либо не зацветёт).