Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de : Generar la tabla de verdad manualmente y a través del simulador Truth Table?

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de :  Generar la tabla de verdad manualmente y a través del simulador Truth Table.  Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.  Aplicación de las reglas de inferencia. En Colombia nos encontramos en proceso de campaña presidencial y uno de los temas a tratar son el pago de horas extras, así : Si la ley no fue aprobada, entonces el pago de las horas queda como estaba. Si el pago de las horas queda como estaba, entonces no debemos trabajar más horas extras. Debemos trabajar más horas extras o el proyecto se retrasará un mes. El proyecto no se retrasará un mes. Por tanto, la ley fue aprobada. Pide más detalles.