Esto se demuestra con la tabla de verdad: