El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con muchos colores?

El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con muchos colores. Definir las proposiciones simples del argumento. Definir la expresión del argumento en lenguaje simbólico o formal. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción.