y expresado como una tautología verdad-funcional o teorema de la lógica proposicional: