Es una tautología lógica: Su tabla de verdad da siempre el valor "verdadero" (o 1).