Expresar los siguientes enunciados en Lenguaje natural

• 

  Uso de las tablas de verdad.
• Uso de las reglas de inferencia.
• Uso del simulador Truth Table.